---
title: "Who cites François Charton — 175 papers of our library"
description: "175 papers of the Elamur Research library cite the works of François Charton, found in their bibliographies; the most cited first."
canonical: "https://research.elamur.ai/free/en/authors/francois-charton/cited-by/"
---
[Elamur Research](https://md.research.elamur.ai/free/en/) · [this page in HTML](https://research.elamur.ai/free/en/authors/francois-charton/cited-by/)

[home](https://md.research.elamur.ai/free/en/) / [authors](https://md.research.elamur.ai/free/en/authors/) / [François Charton](https://md.research.elamur.ai/free/en/authors/francois-charton/) / cited by

# Who cites François Charton

217 citations of their works from 175 papers of our library (of the 149,439 whose bibliographies we read) · 32 with a page here, the most cited first · [← François Charton](https://md.research.elamur.ai/free/en/authors/francois-charton/)

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. [**Code Llama: Open Foundation Models for Code arXiv:2308.12950**Baptiste Rozière, Jonas Gehring, Fabian Gloeckle, et al.*2024 · 1,430 citations*](https://md.research.elamur.ai/free/en/papers/roziere-2024-code-llama-open-foundation-models/)
5. **[Is Your Code Generated by ChatGPT Really Correct? Rigorous Evaluation of Large Language Models for Code Generation](https://md.research.elamur.ai/free/en/papers/liu-2023-your-code-generated-chatgpt-really/) [Conference on Neural Information Processing Systems (NeurIPS)](https://md.research.elamur.ai/free/en/venues/neural-information-processing-systems/)**Jiawei Liu, Chunqiu Steven Xia, Yuyao Wang, et al.*2023 · 648 citations*
6. **[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*
7. **[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*
8. **[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*
9. [**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/)
10. **[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*
11. [**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/)
12. [**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/)
13. **[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*
14. **[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*
15. [**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/)
16. [**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/)
17. [**Planning with Large Language Models for Code Generation arXiv:2303.05510**Shun Zhang, Zhenfang Chen, Yikang Shen, et al.*2023 · 90 citations*](https://md.research.elamur.ai/free/en/papers/zhang-2023-planning-large-language-models-code/)
18. [**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/)
19. [**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/)
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/)
21. [**What Algorithms can Transformers Learn? A Study in Length Generalization arXiv:2310.16028**Hattie Zhou, Arwen Bradley, Etai Littwin, et al.*2023 · 67 citations*](https://md.research.elamur.ai/free/en/papers/zhou-2023-algorithms-transformers-learn-study-length/)
22. **[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*
23. [**Physics of Language Models: Part 2.1, Grade-School Math and the Hidden Reasoning Process arXiv:2407.20311**Tian Ye, Zicheng Xu, Yuanzhi Li, et al.*2024 · 58 citations*](https://md.research.elamur.ai/free/en/papers/ye-2024-physics-language-models-part-2/)
24. [**Teaching Arithmetic to Small Transformers arXiv:2307.03381**Nayoung Lee, Kartik Sreenivasan, Jason D. Lee, et al.*2023 · 57 citations*](https://md.research.elamur.ai/free/en/papers/lee-2023-teaching-arithmetic-small-transformers/)
25. [**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/)
26. **[XCodeEval: An Execution-based Large Scale Multilingual Multitask Benchmark for Code Understanding, Generation, Translation and Retrieval](https://md.research.elamur.ai/free/en/papers/khan-2024-xcodeeval-execution-based-large-scale/) [Annual Meeting of the Association for Computational Linguistics (ACL)](https://md.research.elamur.ai/free/en/venues/acl/)**Mohammad Abdullah Matin Khan, M Saiful Bari, Xuan Long Do, et al.*2024 · 51 citations*
27. [**xCodeEval: A Large Scale Multilingual Multitask Benchmark for Code Understanding, Generation, Translation and Retrieval arXiv:2303.03004**Mohammad Abdullah Matin Khan, M Saiful Bari, Xuan Long Do, et al.*2023 · 42 citations*](https://md.research.elamur.ai/free/en/papers/khan-2023-xcodeeval-large-scale-multilingual-multitask/)
28. [**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/)
29. **[NaturalCodeBench: Examining Coding Performance Mismatch on HumanEval and Natural User Queries](https://md.research.elamur.ai/free/en/papers/zhang-2024-naturalcodebench-examining-coding-performance-mismatch/) [Findings of the Association for Computational Linguistics](https://md.research.elamur.ai/free/en/venues/findings/)**Shudan Zhang, Hanlin Zhao, Xiao Liu, et al.*2024 · 17 citations*
30. [**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/)
31. **[Bootstrapping Code Translation with Weighted Multilanguage Exploration](https://md.research.elamur.ai/free/en/papers/wu-2026-bootstrapping-code-translation-weighted-multilanguage/) [Annual Meeting of the Association for Computational Linguistics (ACL)](https://md.research.elamur.ai/free/en/venues/acl/)**Yuhan Wu, Huan Zhang, Wei Cheng, et al.*2026*
32. **[Language Models Learn Universal Representations of Numbers and Here's Why You Should Care](https://md.research.elamur.ai/free/en/papers/stefanik-2026-language-models-learn-universal-representations/) [Annual Meeting of the Association for Computational Linguistics (ACL)](https://md.research.elamur.ai/free/en/venues/acl/)**Michal Štefánik, Timothee Mickus, Marek Kadlčík, et al.*2026*

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

- [← back to](https://md.research.elamur.ai/free/en/authors/francois-charton/) — François Charton