Jesse Michael Han
Publications by Year
Research Areas
Topic Modeling, Natural Language Processing Techniques, Logic, programming, and type systems, Software Engineering Research, Logic, Reasoning, and Knowledge
Most-Cited Works
- → Text and Code Embeddings by Contrastive Pre-Training(2022)149 cited
- → Formal Mathematics Statement Curriculum Learning(2022)24 cited
- → Unsupervised Neural Machine Translation with Generative Language Models Only(2021)10 cited
- → Proof Artifact Co-training for Theorem Proving with Language Models(2021)6 cited
- → Enhancing SAT solvers with glue variable predictions(2020)6 cited
- → A Formalization of Forcing and the Unprovability of the Continuum Hypothesis(2019)6 cited
- → Universal Policies for Software-Defined MDPs(2020)1 cited
- → Automatically Building Diagrams for Olympiad Geometry Problems(2021)1 cited
- → $k$-Equivalence Relations and Associated Algorithms(2021)