--- title: "Who cites Deep Learning for Symbolic — 93 citing papers" description: "93 papers of the Elamur Research library cite «Deep Learning for Symbolic Mathematics», found in their bibliographies; the most cited first." canonical: "https://research.elamur.ai/free/en/papers/lample-2019-deep-learning-symbolic-mathematics/cited-by/" --- [Elamur Research](https://md.research.elamur.ai/free/en/) · [this page in HTML](https://research.elamur.ai/free/en/papers/lample-2019-deep-learning-symbolic-mathematics/cited-by/) [home](https://md.research.elamur.ai/free/en/) / [papers](https://md.research.elamur.ai/free/en/papers/) / [Deep Learning for Symbolic Mathematics](https://md.research.elamur.ai/free/en/papers/lample-2019-deep-learning-symbolic-mathematics/) / cited by # Who cites «Deep Learning for Symbolic Mathematics» 93 papers of our library cite it (of the 149,439 whose bibliographies we read) · 21 with a page here, the most cited first · [← back to «Deep Learning for Symbolic Mathematics»](https://md.research.elamur.ai/free/en/papers/lample-2019-deep-learning-symbolic-mathematics/) 1. [**Training Verifiers to Solve Math Word Problems arXiv:2110.14168**Karl Cobbe, Vineet Kosaraju, Mohammad Bavarian, et al.*2021 · 3,796 citations*](https://md.research.elamur.ai/free/en/papers/cobbe-2021-training-verifiers-solve-math-word/) 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. [**Beyond the Imitation Game: Quantifying and extrapolating the capabilities of language models arXiv:2206.04615 · Transactions on Machine Learning Research, May/2022, https://openreview.net/forum?id=uyTL5Bvosj**Aarohi Srivastava, Abhinav Rastogi, Abhishek Rao, et al.*2022 · 1,756 citations*](https://md.research.elamur.ai/free/en/papers/srivastava-2022-imitation-game-quantifying-extrapolating-capabilities/) 4. **[AudioLM: a Language Modeling Approach to Audio Generation](https://md.research.elamur.ai/free/en/papers/borsos-2022-audiolm-language-modeling-approach-audio/) [IEEE/ACM Transactions on Audio Speech and Language Processing](https://md.research.elamur.ai/free/en/venues/ieee-acm-transactions-on-audio-speech-and-language-processing/)**Zalan Borsos, Raphael Marinier, Damien Vincent, et al.*2022 · 581 citations* 5. **[Mathematical Capabilities of ChatGPT](https://md.research.elamur.ai/free/en/papers/frieder-2023-mathematical-capabilities-chatgpt/) [Conference on Neural Information Processing Systems (NeurIPS)](https://md.research.elamur.ai/free/en/venues/neural-information-processing-systems/)**Simon Frieder, Luca Pinchetti, Alexis Chevalier, et al.*2023 · 449 citations* 6. **[Transformers as Soft Reasoners over Language](https://md.research.elamur.ai/free/en/papers/clark-2020-transformers-soft-reasoners-over-language/) [International Joint Conference on Artificial Intelligence](https://md.research.elamur.ai/free/en/venues/international-joint-conference-on-artificial-intelligence/)**Peter Clark, Oyvind Tafjord, Kyle Richardson*2020 · 382 citations* 7. [**The Next Decade in AI: Four Steps Towards Robust Artificial Intelligence arXiv:2002.06177**Gary Marcus*2020 · 332 citations*](https://md.research.elamur.ai/free/en/papers/marcus-2020-next-decade-ai-four/) 8. **[Injecting Numerical Reasoning Skills into Language Models](https://md.research.elamur.ai/free/en/papers/geva-2020-injecting-numerical-reasoning-skills-into/) [Annual Meeting of the Association for Computational Linguistics (ACL)](https://md.research.elamur.ai/free/en/venues/acl/)**Mor Geva, Ankit Gupta, Jonathan Berant*2020 · 269 citations* 9. [**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/) 10. [**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/) 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. **[PRover: Proof Generation for Interpretable Reasoning over Rules](https://md.research.elamur.ai/free/en/papers/saha-2020-prover-proof-generation-interpretable-reasoning/) [Conference on Empirical Methods in Natural Language Processing (EMNLP)](https://md.research.elamur.ai/free/en/venues/emnlp/)**Swarnadeep Saha, Sayan Ghosh, Shashank Srivastava, et al.*2020 · 103 citations* 13. [**Leap-Of-Thought: Teaching Pre-Trained Models to Systematically Reason Over Implicit Knowledge arXiv:2006.06609**Alon Talmor, Oyvind Tafjord, Peter Clark, et al.*2020 · 98 citations*](https://md.research.elamur.ai/free/en/papers/talmor-2020-leap-thought-teaching-pre-trained/) 14. [**Investigating the Limitations of Transformers with Simple Arithmetic Tasks arXiv:2102.13019**Rodrigo Nogueira, Zhiying Jiang, Jimmy Lin*2021 · 96 citations*](https://md.research.elamur.ai/free/en/papers/nogueira-2021-investigating-limitations-transformers-simple-arithmetic/) 15. [**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/) 16. [**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/) 17. [**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/) 18. **[NaturalProver: Grounded Mathematical Proof Generation with Language Models](https://md.research.elamur.ai/free/en/papers/welleck-2022-naturalprover-grounded-mathematical-proof-generation/) [Conference on Neural Information Processing Systems (NeurIPS)](https://md.research.elamur.ai/free/en/venues/neural-information-processing-systems/)**Sean Welleck, Jiacheng Liu, Ximing Lu, et al.*2022 · 62 citations* 19. [**Large Language Models are In-Context Semantic Reasoners rather than Symbolic Reasoners arXiv:2305.14825**Xiaojuan Tang, Zilong Zheng, Jiaqi Li, et al.*2023 · 52 citations*](https://md.research.elamur.ai/free/en/papers/tang-2023-large-language-models-context-semantic/) 20. [**Linear algebra with transformers arXiv:2112.01898**François Charton*2021 · 31 citations*](https://md.research.elamur.ai/free/en/papers/charton-2021-linear-algebra-transformers/) 21. [**Neuro-Symbolic Artificial Intelligence: Current Trends arXiv:2105.05330**Md Kamruzzaman Sarker, Lu Zhou, Aaron Eberhart, et al.*2021 · 12 citations*](https://md.research.elamur.ai/free/en/papers/sarker-2021-neuro-symbolic-artificial-intelligence/) 72 more papers of our library cite it; they have no page here yet. - [← back to](https://md.research.elamur.ai/free/en/papers/lample-2019-deep-learning-symbolic-mathematics/) — Deep Learning for Symbolic Mathematics