research
∙
06/27/2023
LeanDojo: Theorem Proving with Retrieval-Augmented Language Models
Large language models (LLMs) have shown promise in proving formal theore...
share
research
∙
08/11/2022
Regularizing Deep Neural Networks with Stochastic Estimators of Hessian Trace
In this paper we develop a novel regularization method for deep neural n...
research
∙
07/27/2022
Meta-Interpolation: Time-Arbitrary Frame Interpolation via Dual Meta-Learning
Existing video frame interpolation methods can only interpolate the fram...
research
∙
01/22/2021
