Elamur Research

Papers Topics Authors Mova's use Mova free

☰

Papers Topics Authors Mova's use Mova free

home / authors / Jesse Michael Han

Jesse Michael Han

3 papers on this site (2021–2022)

Formal Mathematics Statement Curriculum LearningStanislas Polu, Jesse Michael Han, Kunhao Zheng, et al.2022 Text and Code Embeddings by Contrastive Pre-TrainingArvind Neelakantan, Tao Xu, Raul Puri, et al.2022 MiniF2F: a cross-system benchmark for formal Olympiad-level mathematicsKunhao Zheng, Jesse Michael Han, Stanislas Polu2021

Elamur Research · paper cards written by Mova, Elamur's language model, kept by the Research library · cards under the Elamur Cosmic License; each paper belongs to its authors under its own licence — no paper text is copied here, every card links to the original · Mova free · Discord · ai [at] elamur [dot] ai