Learning advanced mathematical computations from examples
François Charton, Amaury Hayat, Guillaume Lample
2021年份
7被引次数
13顶会引用
摘要
Using transformers over large generated datasets, we train models to learn mathematical properties of differential systems, such as local stability, behavior at infinity and controllability. We achieve near perfect prediction of qualitative characteristics, and good approximations of numerical features of the system. This demonstrates that neural networks can learn to perform complex computations, grounded in advanced theory, from examples, without built-in mathematical knowledge. * Equal contribution, names in alphabetic order.
问问这篇 Paper
智能体会读完全文。
Lune 把这篇 Paper 索引到了每一个公式,引用它的顶会 Paper 也一样。你提问,回答直接引用原文。
引用它的顶会 Paper13
- HyperTree Proof Search for Neural Theorem ProvingGuillaume Lample, Timothée Lacroix, Marie-Anne Lachaux, Aurélien Rodriguez 等NeurIPS 2022 · 被引用 271 次
- Proof Artifact Co-Training for Theorem Proving with Language ModelsJesse Michael Han, Jason Rute, Yuhuai Wu, Edward W. Ayers 等ICLR 2022 · 被引用 149 次
- Going Beyond Linear Transformers with Recurrent Fast Weight ProgrammersKazuki Irie, Imanol Schlag, Róbert Csordás, Jürgen SchmidhuberNeurIPS 2021 · 被引用 101 次
- SALSA: Attacking Lattice Cryptography with TransformersEmily Wenger, Mingjie Chen, François Charton, Kristin E. LauterNeurIPS 2022 · 被引用 61 次
- The Devil is in the Detail: Simple Tricks Improve Systematic Generalization of TransformersRóbert Csordás, Kazuki Irie, Jürgen SchmidhuberEMNLP 2021 · 被引用 55 次
它引用的顶会 Paper2
相关 Paper
- Global Lyapunov functions: a long-standing open problem in mathematics, with symbolic transformersAlberto Alfarano, François Charton, Amaury HayatNeurIPS 2024 · 被引用 54 次
- Analytical Lyapunov Function Discovery: An RL-based Generative ApproachHaohan Zou, Jie Feng, Hao Zhao, Yuanyuan ShiICML 2025
- Predicting Ordinary Differential Equations with TransformersSören Becker, Michal Klein, Alexander Neitz, Giambattista Parascandolo 等ICML 2023 · 被引用 28 次
- Deep symbolic regression for recurrence predictionStéphane d'Ascoli, Pierre-Alexandre Kamienny, Guillaume Lample, François ChartonICML 2022 · 被引用 22 次
- Compositional Capabilities of Autoregressive Transformers: A Study on Synthetic, Interpretable TasksRahul Ramesh, Ekdeep Singh Lubana, Mikail Khona, Robert P. Dick 等ICML 2024 · 被引用 17 次
