Elamur Research⌕
☰
home / authors / Katherine M. Collins / cited by

Who cites Katherine M. Collins

47 citations of their works from 46 papers of our library (of the 149,439 whose bibliographies we read) · 23 with a page here, the most cited first · ← Katherine M. Collins

  1. A Comprehensive Overview of Large Language ModelsACM Transactions on Intelligent Systems and TechnologyHumza Naveed, Asad Ullah Khan, Shi Qiu, et al.2023 · 1,287 citations
  2. MetaMath: Bootstrap Your Own Mathematical Questions for Large Language ModelsarXiv:2309.12284Longhui Yu, Weisen Jiang, Han Shi, et al.2023 · 565 citations
  3. Llemma: An Open Language Model For MathematicsarXiv:2310.10631Zhangir Azerbayev, Hailey Schoelkopf, Keiran Paster, et al.2023 · 286 citations
  4. AlphaEvolve: A coding agent for scientific and algorithmic discoveryarXiv:2506.13131Alexander Novikov, Ngân Vũ, Marvin Eisenberger, et al.2025 · 202 citations
  5. Can LLMs Generate Novel Research Ideas? A Large-Scale Human Study with 100+ NLP ResearchersarXiv:2409.04109Chenglei Si, Diyi Yang, Tatsunori Hashimoto2024 · 196 citations
  6. Evaluating Large Language Models: A Comprehensive SurveyarXiv:2310.19736Zishan Guo, Renren Jin, Chuang Liu, et al.2023 · 182 citations
  7. OpenWebMath: An Open Dataset of High-Quality Mathematical Web TextarXiv:2310.06786Keiran Paster, Marco Dos Santos, Zhangir Azerbayev, et al.2023 · 132 citations
  8. Towards responsible development of generative AI for education: An evaluation-driven approachJurenka2024 · 53 citations
  9. Formal Mathematical Reasoning: A New Frontier in AIarXiv:2412.16075Kaiyu Yang, Gabriel Poesia, Jingxuan He, et al.2024 · 49 citations
  10. A Survey on Deep Learning for Theorem ProvingarXiv:2404.09939Zhaoyu Li, Jialiang Sun, Logan Murphy, et al.2024 · 46 citations
  11. Lean Copilot: Large Language Models as Copilots for Theorem Proving in LeanarXiv:2404.12534Peiyang Song, Kaiyu Yang, Anima Anandkumar2024 · 39 citations
  12. Multilingual Mathematical AutoformalizationarXiv:2311.03755Albert Q. Jiang, Wenda Li, Mateja Jamnik2023 · 37 citations
  13. Language Models as Science TutorsarXiv:2402.11111Alexis Chevalier, Jiayi Geng, Alexander Wettig, et al.2024 · 30 citations
  14. Mathematical exploration and discovery at scalearXiv:2511.02864Bogdan Georgiev, Javier Gómez-Serrano, Terence Tao, et al.2025 · 16 citations
  15. Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum PhysicsarXiv:2510.12787Benjamin Breen, Marco Del Tredici, Jacob McCarran, et al.2025 · 9 citations
  16. Are Large Language Models Reliable AI Scientists? Assessing Reverse-Engineering of Black-Box SystemsarXiv:2505.17968Jiayi Geng, Howard Chen, Dilip Arumugam, et al.2025 · 4 citations

23 more citing papers of our library have no page here yet.

↑ back to top

This page in Markdown → https://md.research.elamur.ai/free/en/authors/katherine-m-collins/cited-by/