🔗 Who cites «INT: An Inequality Benchmark for Evaluating Generalization in Theorem Proving»

33 papers of our library cite it (of the 149,439 whose bibliographies we read) · 24 with a page here, the most cited first · ← back to «INT: An Inequality Benchmark for Evaluating Generalization in Theorem Proving»

1. On the Opportunities and Risks of Foundation ModelsarXiv:2108.07258Rishi Bommasani, Drew A. Hudson, Ehsan Adeli, et al.2021 · 3,160 citations
2. MiniF2F: a cross-system benchmark for formal Olympiad-level mathematicsarXiv:2109.00110Kunhao Zheng, Jesse Michael Han, Stanislas Polu2021 · 257 citations
3. Generative Language Modeling for Automated Theorem ProvingarXiv:2009.03393Stanislas Polu, Ilya Sutskever2020 · 241 citations
4. Autoformalization with Large Language ModelsarXiv:2205.12615Yuhuai Wu, Albert Q. Jiang, Wenda Li, et al.2022 · 204 citations
5. 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
6. 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
7. Exploring Length Generalization in Large Language ModelsarXiv:2207.04901Cem Anil, Yuhuai Wu, Anders Andreassen, et al.2022 · 139 citations
8. Formal Mathematics Statement Curriculum LearningarXiv:2202.01344Stanislas Polu, Jesse Michael Han, Kunhao Zheng, et al.2022 · 133 citations
9. DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic DataarXiv:2405.14333Huajian Xin, Daya Guo, Zhihong Shao, et al.2024 · 111 citations
10. Testing the General Deductive Reasoning Capacity of Large Language Models Using OOD ExamplesConference on Neural Information Processing Systems (NeurIPS)Abulhair Saparov, Richard Yuanzhe Pang, Vishakh Padmakumar, et al.2023 · 84 citations
11. LEGO-Prover: Neural Theorem Proving with Growing LibrariesarXiv:2310.00656Haiming Wang, Huajian Xin, Chuanyang Zheng, et al.2023 · 79 citations
12. Formal Mathematical Reasoning: A New Frontier in AIarXiv:2412.16075Kaiyu Yang, Gabriel Poesia, Jingxuan He, et al.2024 · 49 citations
13. A Survey on Deep Learning for Theorem ProvingarXiv:2404.09939Zhaoyu Li, Jialiang Sun, Logan Murphy, et al.2024 · 46 citations
14. STP: Self-play LLM Theorem Provers with Iterative Conjecturing and ProvingarXiv:2502.00212Kefan Dong, Tengyu Ma2025 · 43 citations
15. IsarStep: a Benchmark for High-level Mathematical ReasoningarXiv:2006.09265Wenda Li, Lei Yu, Yuhuai Wu, et al.2020 · 43 citations
16. DT-Solver: Automated Theorem Proving with Dynamic-Tree Sampling Guided by Proof-level Value FunctionAnnual Meeting of the Association for Computational Linguistics (ACL)Haiming Wang, Ye Yuan, Zhengying Liu, et al.2023 · 40 citations
17. LIME: Learning Inductive Bias for Primitives of Mathematical ReasoningarXiv:2101.06223Yuhuai Wu, Markus Rabe, Wenda Li, et al.2021 · 39 citations
18. MUSTARD: Mastering Uniform Synthesis of Theorem and Proof DataarXiv:2402.08957 (ICLR 2024 spotlight)Yinya Huang, Xiaohan Lin, Zhengying Liu, et al.2024 · 29 citations
19. Lyra: Orchestrating Dual Correction in Automated Theorem ProvingarXiv:2309.15806Chuanyang Zheng, Haiming Wang, Enze Xie, et al.2023 · 24 citations
20. Teaching Temporal Logics to Neural NetworksarXiv:2003.04218Christopher Hahn, Frederik Schmitt, Jens U. Kreber, et al.2020 · 24 citations
21. TRIGO: Benchmarking Formal Mathematical Proof Reduction for Generative Language ModelsConference on Empirical Methods in Natural Language Processing (EMNLP)Jing Xiong, Jianhao Shen, Ye Yuan, et al.2023 · 21 citations
22. A Symbolic Framework for Evaluating Mathematical Reasoning and Generalisation with TransformersConference of the North American Chapter of the Association for Computational Linguistics (NAACL)Jordan Meadows, Marco Valentino, Damien Teney, et al.2024 · 14 citations
23. Proving Olympiad Algebraic Inequalities without Human DemonstrationsConference on Neural Information Processing Systems (NeurIPS)Chenrui Wei, Mengzhou Sun, Wei Wang2024 · 12 citations
24. Proving Olympiad Inequalities by Synergizing LLMs and Symbolic ReasoningarXiv:2502.13834Zenan Li, Zhaoyu Li, Wen Tang, et al.2025 · 11 citations

9 more papers of our library cite it; they have no page here yet.

↑ back to top

This page in Markdown → https://md.research.elamur.ai/free/en/papers/wu-2020-int-inequality-benchmark-evaluating-generalization/cited-by/