Jiang, Albert Qiaochu

3 publications

ICLR 2023 Draft, Sketch, and Prove: Guiding Formal Theorem Provers with Informal Proofs Albert Qiaochu Jiang, Sean Welleck, Jin Peng Zhou, Timothee Lacroix, Jiacheng Liu, Wenda Li, Mateja Jamnik, Guillaume Lample, Yuhuai Wu

NeurIPS 2022 Autoformalization with Large Language Models Yuhuai Wu, Albert Qiaochu Jiang, Wenda Li, Markus Rabe, Charles Staats, Mateja Jamnik, Christian Szegedy

NeurIPS 2022 Thor: Wielding Hammers to Integrate Language Models and Automated Theorem Provers Albert Qiaochu Jiang, Wenda Li, Szymon Tworkowski, Konrad Czechowski, Tomasz Odrzygóźdź, Piotr Miłoś, Yuhuai Wu, Mateja Jamnik