Who cites Katherine M. Collins
- A Survey on Evaluation of Large Language ModelsACM Transactions on Intelligent Systems and TechnologyYupeng Chang, Xu Wang, Jindong Wang, et al.2023 · 3,648 citations
- 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
- MetaMath: Bootstrap Your Own Mathematical Questions for Large Language ModelsarXiv:2309.12284Longhui Yu, Weisen Jiang, Han Shi, et al.2023 · 565 citations
- OlympiadBench: A Challenging Benchmark for Promoting AGI with Olympiad-Level Bilingual Multimodal Scientific ProblemsAnnual Meeting of the Association for Computational Linguistics (ACL)Chaoqun He, Renjie Luo, Yuzhuo Bai, et al.2024 · 456 citations
- Llemma: An Open Language Model For MathematicsarXiv:2310.10631Zhangir Azerbayev, Hailey Schoelkopf, Keiran Paster, et al.2023 · 286 citations
- AlphaEvolve: A coding agent for scientific and algorithmic discoveryarXiv:2506.13131Alexander Novikov, Ngân Vũ, Marvin Eisenberger, et al.2025 · 202 citations
- Can LLMs Generate Novel Research Ideas? A Large-Scale Human Study with 100+ NLP ResearchersarXiv:2409.04109Chenglei Si, Diyi Yang, Tatsunori Hashimoto2024 · 196 citations
- Evaluating Large Language Models: A Comprehensive SurveyarXiv:2310.19736Zishan Guo, Renren Jin, Chuang Liu, et al.2023 · 182 citations
- OpenWebMath: An Open Dataset of High-Quality Mathematical Web TextarXiv:2310.06786Keiran Paster, Marco Dos Santos, Zhangir Azerbayev, et al.2023 · 132 citations
- GPTEval: A Survey on Assessments of ChatGPT and GPT-4Language Resources and Evaluation Conference (LREC)Rui Mao, Guanyi Chen, Xulang Zhang, et al.2024 · 75 citations
- Towards responsible development of generative AI for education: An evaluation-driven approachJurenka2024 · 53 citations
- Formal Mathematical Reasoning: A New Frontier in AIarXiv:2412.16075Kaiyu Yang, Gabriel Poesia, Jingxuan He, et al.2024 · 49 citations
- A Survey on Deep Learning for Theorem ProvingarXiv:2404.09939Zhaoyu Li, Jialiang Sun, Logan Murphy, et al.2024 · 46 citations
- Lean Copilot: Large Language Models as Copilots for Theorem Proving in LeanarXiv:2404.12534Peiyang Song, Kaiyu Yang, Anima Anandkumar2024 · 39 citations
- Multilingual Mathematical AutoformalizationarXiv:2311.03755Albert Q. Jiang, Wenda Li, Mateja Jamnik2023 · 37 citations
- Language Models as Science TutorsarXiv:2402.11111Alexis Chevalier, Jiayi Geng, Alexander Wettig, et al.2024 · 30 citations
- Mathematical exploration and discovery at scalearXiv:2511.02864Bogdan Georgiev, Javier Gómez-Serrano, Terence Tao, et al.2025 · 16 citations
- 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
- ChatBench: From Static Benchmarks to Human-AI EvaluationAnnual Meeting of the Association for Computational Linguistics (ACL)Serina Chang, Ashton Anderson, Jake M. Hofman2025 · 9 citations
- 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
- ExpressivityBench: Can LLMs Communicate Implicitly?Findings of the Association for Computational LinguisticsJoshua Tint, Som Sagar, Aditya Taparia, et al.2026
- Pushing the Frontiers of Scientific Fact-Checking: The SCINLP DatasetFindings of the Association for Computational LinguisticsIffat Maab, Junichi Yamagishi2026
This page in Markdown → https://md.research.elamur.ai/free/en/authors/katherine-m-collins/cited-by/