--- title: "Who cites Sarah M. Loos — 90 papers of our library" description: "90 papers of the Elamur Research library cite the works of Sarah M. Loos, found in their bibliographies; the most cited first." canonical: "https://research.elamur.ai/free/en/authors/sarah-m-loos/cited-by/" --- [Elamur Research](https://md.research.elamur.ai/free/en/) · [this page in HTML](https://research.elamur.ai/free/en/authors/sarah-m-loos/cited-by/) [home](https://md.research.elamur.ai/free/en/) / [authors](https://md.research.elamur.ai/free/en/authors/) / [Sarah M. Loos](https://md.research.elamur.ai/free/en/authors/sarah-m-loos/) / cited by # Who cites Sarah M. Loos 161 citations of their works from 90 papers of our library (of the 149,439 whose bibliographies we read) · 20 with a page here, the most cited first · [← Sarah M. Loos](https://md.research.elamur.ai/free/en/authors/sarah-m-loos/) 1. [**On the Opportunities and Risks of Foundation Models arXiv:2108.07258**Rishi Bommasani, Drew A. Hudson, Ehsan Adeli, et al.*2021 · 3,160 citations*](https://md.research.elamur.ai/free/en/papers/bommasani-2021-opportunities-risks-foundation-models/) 2. [**Measuring Mathematical Problem Solving With the MATH Dataset arXiv:2103.03874**Dan Hendrycks, Collin Burns, Saurav Kadavath, et al.*2021 · 2,395 citations*](https://md.research.elamur.ai/free/en/papers/hendrycks-2021-measuring-mathematical-problem-solving-math/) 3. **[Large Language Models for Mathematical Reasoning: Progresses and Challenges](https://md.research.elamur.ai/free/en/papers/ahn-2024-large-language-models-mathematical-reasoning/) [Conference of the European Chapter of the Association for Computational Linguistics (EACL)](https://md.research.elamur.ai/free/en/venues/eacl/)**Janice Ahn, Rishu Verma, Renze Lou, et al.*2024 · 280 citations* 4. [**MiniF2F: a cross-system benchmark for formal Olympiad-level mathematics arXiv:2109.00110**Kunhao Zheng, Jesse Michael Han, Stanislas Polu*2021 · 257 citations*](https://md.research.elamur.ai/free/en/papers/zheng-2021-minif2f-cross-system-benchmark-formal/) 5. **[LeanDojo: Theorem Proving with Retrieval-Augmented Language Models](https://md.research.elamur.ai/free/en/papers/yang-2023-leandojo-theorem-proving-retrieval-augmented/) [Conference on Neural Information Processing Systems (NeurIPS)](https://md.research.elamur.ai/free/en/venues/neural-information-processing-systems/)**Kaiyu Yang, Aidan M. Swope, Alex Gu, et al.*2023 · 253 citations* 6. [**Generative Language Modeling for Automated Theorem Proving arXiv:2009.03393**Stanislas Polu, Ilya Sutskever*2020 · 241 citations*](https://md.research.elamur.ai/free/en/papers/polu-2020-generative-language-modeling-automated-theorem/) 7. [**Autoformalization with Large Language Models arXiv:2205.12615**Yuhuai Wu, Albert Q. Jiang, Wenda Li, et al.*2022 · 204 citations*](https://md.research.elamur.ai/free/en/papers/wu-2022-autoformalization-large-language-models/) 8. [**Draft, Sketch, and Prove: Guiding Formal Theorem Provers with Informal Proofs arXiv:2210.12283**Albert Q. Jiang, Sean Welleck, Jin Peng Zhou, et al.*2022 · 178 citations*](https://md.research.elamur.ai/free/en/papers/jiang-2022-draft-sketch-prove-guiding-formal/) 9. [**Baldur: Whole-Proof Generation and Repair with Large Language Models arXiv:2303.04910**Emily First, Markus N. Rabe, Talia Ringer, et al.*2023 · 175 citations*](https://md.research.elamur.ai/free/en/papers/first-2023-baldur-whole-proof-generation-repair/) 10. **[A Survey of Machine Learning for Big Code and Naturalness](https://md.research.elamur.ai/free/en/papers/allamanis-2017-survey-machine-learning-big-code/) [ACM Computing Surveys](https://md.research.elamur.ai/free/en/venues/acm-computing-surveys/)**Miltiadis Allamanis, Earl T. Barr, Premkumar Devanbu, et al.*2017 · 167 citations* 11. **[HyperTree Proof Search for Neural Theorem Proving](https://md.research.elamur.ai/free/en/papers/lample-2022-hypertree-proof-search-neural-theorem/) [Conference on Neural Information Processing Systems (NeurIPS)](https://md.research.elamur.ai/free/en/venues/neural-information-processing-systems/)**Guillaume Lample, Marie-Anne Lachaux, Thibaut Lavril, et al.*2022 · 151 citations* 12. [**Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning arXiv:2105.04165**Pan Lu, Ran Gong, Shibiao Jiang, et al.*2021 · 139 citations*](https://md.research.elamur.ai/free/en/papers/lu-2021-inter-gps-interpretable-geometry-problem/) 13. [**Deep Learning for Symbolic Mathematics arXiv:1912.01412**Guillaume Lample, François Charton*2019 · 138 citations*](https://md.research.elamur.ai/free/en/papers/lample-2019-deep-learning-symbolic-mathematics/) 14. [**Formal Mathematics Statement Curriculum Learning arXiv:2202.01344**Stanislas Polu, Jesse Michael Han, Kunhao Zheng, et al.*2022 · 133 citations*](https://md.research.elamur.ai/free/en/papers/polu-2022-formal-mathematics-statement-curriculum-learning/) 15. [**DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic Data arXiv:2405.14333**Huajian Xin, Daya Guo, Zhihong Shao, et al.*2024 · 111 citations*](https://md.research.elamur.ai/free/en/papers/xin-2024-deepseek-prover-advancing-theorem-proving/) 16. [**Learning to Prove Theorems via Interacting with Proof Assistants arXiv:1905.09381**Kaiyu Yang, Jia Deng*2019 · 90 citations*](https://md.research.elamur.ai/free/en/papers/yang-2019-learning-prove-theorems-interacting-proof/) 17. [**Proof Artifact Co-training for Theorem Proving with Language Models arXiv:2102.06203**Jesse Michael Han, Jason Rute, Yuhuai Wu, et al.*2021 · 82 citations*](https://md.research.elamur.ai/free/en/papers/han-2021-proof-artifact-co-training-theorem/) 18. [**LEGO-Prover: Neural Theorem Proving with Growing Libraries arXiv:2310.00656**Haiming Wang, Huajian Xin, Chuanyang Zheng, et al.*2023 · 79 citations*](https://md.research.elamur.ai/free/en/papers/wang-2023-lego-prover-neural-theorem-proving/) 19. [**HOList: An Environment for Machine Learning of Higher-Order Theorem Proving arXiv:1904.03241**Kshitij Bansal, Sarah M. Loos, Markus N. Rabe, et al.*2019 · 78 citations*](https://md.research.elamur.ai/free/en/papers/bansal-2019-holist-environment-machine-learning-higher/) 20. [**NaturalProofs: Mathematical Theorem Proving in Natural Language arXiv:2104.01112**Sean Welleck, Jiacheng Liu, Ronan Le Bras, et al.*2021 · 76 citations*](https://md.research.elamur.ai/free/en/papers/welleck-2021-naturalproofs-mathematical-theorem-proving-natural/) 70 more citing papers of our library have no page here yet. - [← back to](https://md.research.elamur.ai/free/en/authors/sarah-m-loos/) — Sarah M. Loos