25 citations · 47 across the 19 of their papers we have counts for
3 papers · 1 filter
Learning to Discover Interesting Mathematics
Niket Patel, Ahmad Rammal, Amaury Hayat +2
Recently, Large Language Models (LLMs) have been increasingly able to solve advanced mathematical problems, including many that have been open for decades. This opens the door to e…
Global Lyapunov functions: a long-standing open problem in mathematics, with symbolic transformers
Alberto Alfarano, François Charton, Amaury Hayat
Despite their spectacular progress, language models still struggle on complex reasoning tasks, such as advanced mathematics. We consider a long-standing open problem in mathematics…
A deep language model to predict metabolic network equilibria
François Charton, Amaury Hayat, Sean T. McQuade +2
We show that deep learning models, and especially architectures like the Transformer, originally intended for natural language, can be trained on randomly generated datasets to pre…