🔗 Who cites «LIME: Learning Inductive Bias for Primitives of Mathematical Reasoning»

30 papers of our library cite it (of the 149,439 whose bibliographies we read) · 14 with a page here, the most cited first · ← back to «LIME: Learning Inductive Bias for Primitives of Mathematical Reasoning»

1. On the Opportunities and Risks of Foundation ModelsarXiv:2108.07258Rishi Bommasani, Drew A. Hudson, Ehsan Adeli, et al.2021 · 3,160 citations
2. Measuring Mathematical Problem Solving With the MATH DatasetarXiv:2103.03874Dan Hendrycks, Collin Burns, Saurav Kadavath, et al.2021 · 2,395 citations
3. Solving Quantitative Reasoning Problems with Language ModelsConference on Neural Information Processing Systems (NeurIPS)Aitor Lewkowycz, Anders Andreassen, David Dohan, et al.2022 · 992 citations
4. 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
5. Proof Artifact Co-training for Theorem Proving with Language ModelsarXiv:2102.06203Jesse Michael Han, Jason Rute, Yuhuai Wu, et al.2021 · 82 citations
6. NaturalProofs: Mathematical Theorem Proving in Natural LanguagearXiv:2104.01112Sean Welleck, Jiacheng Liu, Ronan Le Bras, et al.2021 · 76 citations
7. Large Language Models as Analogical ReasonersarXiv:2310.01714Michihiro Yasunaga, Xinyun Chen, Yujia Li, et al.2023 · 74 citations
8. Language Models Can Teach Themselves to Program BetterarXiv:2207.14502Patrick Haluptzok, Matthew Bowers, Adam Tauman Kalai2023 · 54 citations
9. Lean-STaR: Learning to Interleave Thinking and ProvingarXiv:2407.10040Haohan Lin, Zhiqing Sun, Sean Welleck, et al.2024 · 51 citations
10. A Survey on Deep Learning for Theorem ProvingarXiv:2404.09939Zhaoyu Li, Jialiang Sun, Logan Murphy, et al.2024 · 46 citations
11. Through the Lens of Core Competency: Survey on Evaluation of Large Language ModelsarXiv:2308.07902Ziyu Zhuang, Qiguang Chen, Longxuan Ma, et al.2023 · 35 citations
12. 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
13. A Survey of Inductive Reasoning for Large Language ModelsAnnual Meeting of the Association for Computational Linguistics (ACL)Kedi Chen, Dezhao Ruan, Yuhao Dan, et al.2026 · 10 citations
14. VisAidMath: Benchmarking Visual-Aided Mathematical ReasoningAnnual Meeting of the Association for Computational Linguistics (ACL)Jingkun Ma, Runzhe Zhan, Yang Li, et al.2026 · 5 citations

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

This page in Markdown → https://md.research.elamur.ai/free/en/papers/wu-2021-lime-learning-inductive-bias-primitives/cited-by/