Who cites «Proof Artifact Co-training for Theorem Proving with Language Models»
- On the Opportunities and Risks of Foundation ModelsarXiv:2108.07258Rishi Bommasani, Drew A. Hudson, Ehsan Adeli, et al.2021 · 3,160 citations
- Solving Quantitative Reasoning Problems with Language ModelsConference on Neural Information Processing Systems (NeurIPS)Aitor Lewkowycz, Anders Andreassen, David Dohan, et al.2022 · 992 citations
- Llemma: An Open Language Model For MathematicsarXiv:2310.10631Zhangir Azerbayev, Hailey Schoelkopf, Keiran Paster, et al.2023 · 286 citations
- Large Language Models for Mathematical Reasoning: Progresses and ChallengesConference of the European Chapter of the Association for Computational Linguistics (EACL)Janice Ahn, Rishu Verma, Renze Lou, et al.2024 · 280 citations
- MiniF2F: a cross-system benchmark for formal Olympiad-level mathematicsarXiv:2109.00110Kunhao Zheng, Jesse Michael Han, Stanislas Polu2021 · 257 citations
- LeanDojo: Theorem Proving with Retrieval-Augmented Language ModelsConference on Neural Information Processing Systems (NeurIPS)Kaiyu Yang, Aidan M. Swope, Alex Gu, et al.2023 · 253 citations
- Autoformalization with Large Language ModelsarXiv:2205.12615Yuhuai Wu, Albert Q. Jiang, Wenda Li, et al.2022 · 204 citations
- LILA: A Unified Benchmark for Mathematical ReasoningConference on Empirical Methods in Natural Language Processing (EMNLP)Swaroop Mishra, Matthew Finlayson, Pan Lu, et al.2022 · 179 citations
- Draft, Sketch, and Prove: Guiding Formal Theorem Provers with Informal ProofsarXiv:2210.12283Albert Q. Jiang, Sean Welleck, Jin Peng Zhou, et al.2022 · 178 citations
- Baldur: Whole-Proof Generation and Repair with Large Language ModelsarXiv:2303.04910Emily First, Markus N. Rabe, Talia Ringer, et al.2023 · 175 citations
- HyperTree Proof Search for Neural Theorem ProvingConference on Neural Information Processing Systems (NeurIPS)Guillaume Lample, Marie-Anne Lachaux, Thibaut Lavril, et al.2022 · 151 citations
- ProofNet: Autoformalizing and Formally Proving Undergraduate-Level MathematicsarXiv:2302.12433Zhangir Azerbayev, Bartosz Piotrowski, Hailey Schoelkopf, et al.2023 · 142 citations
- Formal Mathematics Statement Curriculum LearningarXiv:2202.01344Stanislas Polu, Jesse Michael Han, Kunhao Zheng, et al.2022 · 133 citations
- DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic DataarXiv:2405.14333Huajian Xin, Daya Guo, Zhihong Shao, et al.2024 · 111 citations
- InternLM-Math: Open Math Large Language Models Toward Verifiable ReasoningarXiv:2402.06332Huaiyuan Ying, Shuo Zhang, Linyang Li, et al.2024 · 90 citations
- Lean Workbook: A large-scale Lean problem set formalized from natural language math problemsConference on Neural Information Processing Systems (NeurIPS)Huaiyuan Ying, Zijian Wu, Yihan Geng, et al.2024 · 80 citations
- LEGO-Prover: Neural Theorem Proving with Growing LibrariesarXiv:2310.00656Haiming Wang, Huajian Xin, Chuanyang Zheng, et al.2023 · 79 citations
- Thor: Wielding Hammers to Integrate Language Models and Automated Theorem ProversarXiv:2205.10893Albert Q. Jiang, Wenda Li, Szymon Tworkowski, et al.2022 · 79 citations
- NaturalProver: Grounded Mathematical Proof Generation with Language ModelsConference on Neural Information Processing Systems (NeurIPS)Sean Welleck, Jiacheng Liu, Ximing Lu, et al.2022 · 62 citations
- FIMO: A Challenge Formal Dataset for Automated Theorem ProvingarXiv:2309.04295Chengwu Liu, Jianhao Shen, Huajian Xin, et al.2023 · 53 citations
- Linear algebra with transformersarXiv:2112.01898François Charton2021 · 31 citations
- A New Approach Towards AutoformalizationarXiv:2310.07957Nilay Patel, Rahul Saha, Jeffrey Flanigan2023 · 7 citations
This page in Markdown → https://md.research.elamur.ai/free/en/papers/han-2021-proof-artifact-co-training-theorem/cited-by/