Search Results for author:
Found 2 papers, 1 papers with code
A Semantic Search Engine for Mathlib4
In this paper, we present a semantic search engine for mathlib4 that accepts informal queries and finds the relevant theorems.
GLOBER: Coherent Non-autoregressive Video Generation via GLOBal Guided Video DecodER
Specifically, we propose a video auto-encoder, where a video encoder encodes videos into global features, and a video decoder, built on a diffusion model, decodes the global features and synthesizes video frames in a non-autoregressive manner.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
