🔗 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»

1. Mathematical Capabilities of ChatGPTConference on Neural Information Processing Systems (NeurIPS)Simon Frieder, Luca Pinchetti, Alexis Chevalier, et al.2023 · 449 citations
2. HyperTree Proof Search for Neural Theorem ProvingConference on Neural Information Processing Systems (NeurIPS)Guillaume Lample, Marie-Anne Lachaux, Thibaut Lavril, et al.2022 · 151 citations
3. Proof Artifact Co-training for Theorem Proving with Language ModelsarXiv:2102.06203Jesse Michael Han, Jason Rute, Yuhuai Wu, et al.2021 · 82 citations
4. IsarStep: a Benchmark for High-level Mathematical ReasoningarXiv:2006.09265Wenda Li, Lei Yu, Yuhuai Wu, et al.2020 · 43 citations
5. Linear algebra with transformersarXiv:2112.01898François Charton2021 · 31 citations
6. Deep Symbolic Regression for Recurrent SequencesarXiv:2201.04600Stéphane d'Ascoli, Pierre-Alexandre Kamienny, Guillaume Lample, et al.2022 · 27 citations
7. End-to-end symbolic regression with transformersarXiv:2204.10532Pierre-Alexandre Kamienny, Stéphane d'Ascoli, Guillaume Lample, et al.2022 · 27 citations
8. Global Lyapunov functions: a long-standing open problem in mathematics, with symbolic transformersConference on Neural Information Processing Systems (NeurIPS)Alberto Alfarano, François Charton, Amaury Hayat2024 · 19 citations

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

This page in Markdown → https://md.research.elamur.ai/free/en/papers/charton-2020-learning-advanced-mathematical-computations-examples/cited-by/