user avatar
François Charton
Axiom
@f_charton
AI for mathematics and theoretical physics Tomorrow's problems on yesterday's machines Axiom - École nationale des ponts et chaussées
France
Joined December 2019
34
Following
4,096
Followers
Posts
  • user avatar
    François Charton
    Axiom
    @f_charton
    Nov 10, 2022
    My paper Linear Algebra with Transformers was published in Transactions of Machine Learning Research (TMLR). This new version includes many new results and experiments. openreview.net/pdf?id=Hp4g7FA… The source code should be available in a few days.
  • user avatar
    François Charton
    Axiom
    @f_charton
    Oct 17, 2024
    Transformers can be trained to solve a 132-years old open problem: discovering global Lyapunov functions. New paper on Arxiv (accepted in NeurIPS 2024), with @albe_alfa and @Amaury_Hayat arxiv.org/abs/2410.08304 1/8
    73K
  • user avatar
    François Charton
    Axiom
    @f_charton
    Mar 29, 2021
    The source code, datasets and trained models for our paper "Learning Advanced Mathematical Computations from Examples", with @Amaury_Hayat and @GuillaumeLample, are now available at
    GitHub - facebookresearch/MathsFromExamples: Source code, datasets and trained models for the paper...
    From github.com
  • user avatar
    François Charton
    Axiom
    @f_charton
    Nov 5, 2024
    Transformers for discrete optimisation problems 1- Train a model on candidate solutions 2- Use the model to generate more candidates 3- Improve the solutions with local search 4- Use the best candidates to fine tune the model 5- Iterate
    user avatar
    Jordan Ellenberg
    @JSEllenberg
    Nov 5, 2024
    New preprint up! "PatternBoost: Constructions in Mathematics with a Little Help from AI," with F. Charton, A.Z. Wagner, and G. Williamson: arxiv.org/abs/2411.00566
    142K
  • user avatar
    François Charton
    Axiom
    @f_charton
    Oct 10, 2022
    My talk at Physics ∩ ML last week youtube.com/watch?v=81o-Ui… Recent results on transformers learning mathematical properties (instead of just memorizing and interpolating) at 40:00. And a first attempt at particle physics, and gluons, at 57:00
  • user avatar
    François Charton
    Axiom
    @f_charton
    Nov 22, 2022
    The source code for my two papers "Linear Algebra with Transformers" (TMLR) arxiv.org/abs/2112.01898 and "What is my math transformer doing?" (NeurIPS 2022 Math-AI Workshop) arxiv.org/abs/2211.00170) is now available at github.com/facebookresear… (with trained models and test sets)
  • user avatar
    François Charton
    Axiom
    @f_charton
    Dec 5, 2024
    The code for our paper: Global Lyapunov functions: a long-standing open problem in mathematics, with symbolic transformers, with @albe_alfa and @Amaury_Hayat is available at github.com/facebookresear… We will be in NeurIPS: come see us at the poster session next Thursday at 5PM
    GitHub - facebookresearch/Lyapunov: PyTorch original implementation of "Global Lyapunov functions:...
    From github.com
    41K
  • user avatar
    François Charton
    Axiom
    @f_charton
    Jun 6, 2022
    Transformers can be trained to compute the roots of polynomials f-charton.github.io/polynomial-roo… It is often said that language models "cannot compute", evidence to the contrary is accumulating.
  • user avatar
    François Charton
    Axiom
    @f_charton
    Sep 2, 2025
    I am joining Axiom Math, a seed-stage startup on AI for maths. I will lead discovery: AI for advancing math research. 6 years after Deep Learning for Symbolic Maths, our first paper with @GuillaumeLample, I am proud of the field's progress, and excited about what comes next.
    34K
  • user avatar
    François Charton
    Axiom
    @f_charton
    Dec 6, 2021
    Transformers can be trained to solve problems of linear algebra (matrix transposition, addition, multiplication, inversion and eigenvalues) to very high accuracy. 1/4 Our new paper is on Arxiv: arxiv.org/abs/2112.01898
  • user avatar
    François Charton
    Axiom
    @f_charton
    Sep 13, 2024
    Transformers solve an open problem in symbolic mathematics: discovering Lyapunov functions, joint work with Alberto Alfarano and @Amaury_Hayat. My talk in IAIFI today (starts at 5:00)
    user avatar
    IAIFI
    @iaifi_news
    Sep 13, 2024
    Our first IAIFI Colloquium of the semester is starting now with @f_charton! "Transformers meet Lyapunov: Solving a long-standing open problem in mathematics." Watch live on YouTube: youtube.com/live/yCzV97QNG…
    47K
  • user avatar
    François Charton
    Axiom
    @f_charton
    Sep 28, 2023
    My talk in Harvard yesterday. Transformers for symbolic regression (11:30), theoretical physics (26:00), and results on explainability in linear algebra (39:00) and arithmetic (50:00)
    30K
  • user avatar
    François Charton
    Axiom
    @f_charton
    May 27, 2024
    My talk at the IHES workshop: Mathematics for and by large language models youtube.com/watch?v=k9xLg-… and the full seminar on carmin.tv carmin.tv/en/c/1539 featuring talks by @Amaury_Hayat, @KempeLab, Yiannis Vlassopoulos, Andrew Dudzik and @syhw
    199K
  • user avatar
    François Charton
    Axiom
    @f_charton
    Jul 2, 2024
    Looking for a postdoctorate student to work with me on applying transformers to open problems in mathematics and theoretical physics. This is an 18 month position, based in Paris. DM me if interested. metacareers.com/jobs/771404296…
    53K