---
title: "Who cites Learning advanced mathematical — 12 citing papers"
description: "12 papers of the Elamur Research library cite «Learning advanced mathematical computations from examples», found in their bibliographies…"
canonical: "https://research.elamur.ai/free/en/papers/charton-2020-learning-advanced-mathematical-computations-examples/cited-by/"
---
[Elamur Research](https://md.research.elamur.ai/free/en/) · [this page in HTML](https://research.elamur.ai/free/en/papers/charton-2020-learning-advanced-mathematical-computations-examples/cited-by/)

[home](https://md.research.elamur.ai/free/en/) / [papers](https://md.research.elamur.ai/free/en/papers/) / [Learning advanced mathematical computations from…](https://md.research.elamur.ai/free/en/papers/charton-2020-learning-advanced-mathematical-computations-examples/) / cited by

# Who cites «Learning advanced mathematical computations from examples»

12 papers of our library cite it (of the 149,439 whose bibliographies we read) · 8 with a page here, the most cited first · [← back to «Learning advanced mathematical computations from examples»](https://md.research.elamur.ai/free/en/papers/charton-2020-learning-advanced-mathematical-computations-examples/)

1. **[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*
2. **[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*
3. [**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/)
4. [**IsarStep: a Benchmark for High-level Mathematical Reasoning arXiv:2006.09265**Wenda Li, Lei Yu, Yuhuai Wu, et al.*2020 · 43 citations*](https://md.research.elamur.ai/free/en/papers/li-2020-isarstep-benchmark-high-level-mathematical/)
5. [**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/)
6. [**Deep Symbolic Regression for Recurrent Sequences arXiv:2201.04600**Stéphane d'Ascoli, Pierre-Alexandre Kamienny, Guillaume Lample, et al.*2022 · 27 citations*](https://md.research.elamur.ai/free/en/papers/ascoli-2022-deep-symbolic-regression-recurrent-sequences/)
7. [**End-to-end symbolic regression with transformers arXiv:2204.10532**Pierre-Alexandre Kamienny, Stéphane d'Ascoli, Guillaume Lample, et al.*2022 · 27 citations*](https://md.research.elamur.ai/free/en/papers/kamienny-2022-end-end-symbolic-regression-transformers/)
8. **[Global Lyapunov functions: a long-standing open problem in mathematics, with symbolic transformers](https://md.research.elamur.ai/free/en/papers/alfarano-2024-global-lyapunov-functions-long-standing/) [Conference on Neural Information Processing Systems (NeurIPS)](https://md.research.elamur.ai/free/en/venues/neural-information-processing-systems/)**Alberto Alfarano, François Charton, Amaury Hayat*2024 · 19 citations*

4 more papers of our library cite it; they have no page here yet.

- [← back to](https://md.research.elamur.ai/free/en/papers/charton-2020-learning-advanced-mathematical-computations-examples/) — Learning advanced mathematical computations from examples