Albert X. Jiang
Trinity University
H-index: 31
North America-United States
Top articles of Albert X. Jiang
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Magnushammer: A transformer-based approach to premise selection | arXiv preprint arXiv:2303.04488 | Maciej Mikuła Szymon Antoniak Szymon Tworkowski Albert Qiaochu Jiang Jin Peng Zhou | 2023/3/8 |
Finding a Lower Bound for k-Unbounded Hamiltonian Cycles | arXiv preprint arXiv:2208.02153 | Albert R Jiang | 2022/8/3 |
Autoformalization with large language models | Advances in Neural Information Processing Systems | Yuhuai Wu Albert Qiaochu Jiang Wenda Li Markus Rabe Charles Staats | 2022/12/6 |
Thor: Wielding hammers to integrate language models and automated theorem provers | Advances in Neural Information Processing Systems | Albert Qiaochu Jiang Wenda Li Szymon Tworkowski Konrad Czechowski Tomasz Odrzygóźdź | 2022/12/6 |
Lisa: Language models of isabelle proofs | 6th Conference on Artificial Intelligence and Theorem Proving | Albert Qiaochu Jiang Wenda Li Jesse Michael Han Yuhuai Wu | 2021/9 |
Int: An inequality benchmark for evaluating generalization in theorem proving | Yuhuai Wu Albert Jiang Jimmy Ba Roger Grosse | 2020/9/6 |