Han, Jesse Michael

1. MiniF2F: a cross-system benchmark for formal Olympiad-level mathematics
   2021/08/31 by Zheng, Kunhao, Jesse Michael Han, Han, Jesse Michael +2 · 86 citations
   Computer Science · #Artificial Intelligence (cs.AI) #Explainable Artificial Intelligence (XAI) #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Machine Learning (cs.LG) #Machine Learning and Data Classification #Topic Modeling
2. Text and Code Embeddings by Contrastive Pre-Training
   2022/01/24 by Arvind Neelakantan, Neelakantan, Arvind, Tao Xu +47 · 43 citations
   Computer Science · #Computation and Language (cs.CL) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Natural Language Processing Techniques #Software Engineering Research #Topic Modeling
3. Formal Mathematics Statement Curriculum Learning
   2022/02/03 by Stanislas Polu, Jesse Michael Han, Polu, Stanislas +9 · 18 citations
   Computer Science · #Natural Language Processing Techniques #Mathematics, Computing, and Information Processing #Topic Modeling
4. Proof Artifact Co-training for Theorem Proving with Language Models
   2021/02/11 by Jesse Michael Han, Han, Jesse Michael, Jason Rute +7 · 13 citations
   Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG) #Natural Language Processing Techniques #Software Engineering Research #Topic Modeling
5. Automatically Building Diagrams for Olympiad Geometry Problems
   2020/12/01 by Krueger, Ryan, Han, Jesse Michael, Selsam, Daniel · 2 citations
   #Computational Geometry (cs.CG) #FOS: Computer and information sciences #Mathematical Software (cs.MS)
6. Universal Policies for Software-Defined MDPs
   2020/12/21 by Daniel Selsam, Jesse Michael Han, Selsam, Daniel +5 · 1 voice · 1 citation
   Computer Science · #cs.AI #cs.PL