Fetching the paper…
Reading the bibliography…
Despite their spectacular progress, language models still struggle on complex reasoning tasks, such as advanced mathematics.
On a theorem of liapunov
KP Persidskii · 1937
Earlier work this paper cites.
On liapounoff’s conditions of stability
Jose Luis Massera · 1949
Earlier work this paper cites.
Nonlinear systems
Hassan K. Khalil · 1992
Earlier work this paper cites.
Introducing sostools: A general purpose sum of squares programming solver
Stephen Prajna, Antonis Papachristodoulou, and Pablo A Parrilo · 2002
Earlier work this paper cites.
Sostools and its control applications
Stephen Prajna, Antonis Papachristodoulou, Peter Seiler, and Pablo A Parrilo · 2005
Earlier work this paper cites.
Control and nonlinearity
Jean-Michel Coron · 2007
Earlier work this paper cites.
Construction of global Lyapunov functions using radial basis functions , volume 1904
Peter Giesl · 2007
Earlier work this paper cites.
A framework for worst-case and stochastic safety verification using barrier certificates
Stephen Prajna, Ali Jadbabaie, and George J Pappas · 2007
Earlier work this paper cites.
A globally asymptotically stable polynomial vector field with no polynomial lyapunov function
Amir Ali Ahmadi, Miroslav Krstic, and Pablo A. Parrilo · 2011
Earlier work this paper cites.
A globally asymptotically stable polynomial vector field with no polynomial lyapunov function
Amir Ali Ahmadi, Miroslav Krstic, and Pablo A. Parrilo · 2011
Earlier work this paper cites.
dreal: An smt solver for nonlinear theories over the reals
Sicun Gao, Soonho Kong, and Edmund M. Clarke · 2013
Earlier work this paper cites.
Adam: A method for stochastic optimization
Diederik P Kingma and Jimmy Ba · 2014
Earlier work this paper cites.
Classical converse theorems in lyapunov’s second method
Christopher M Kellett · 2015
Earlier work this paper cites.
Robustness of control barrier functions for safety critical control
Xiangru Xu, Paulo Tabuada, Jessy W Grizzle, and Aaron D Ames · 2015
Cited alongside, same era.
Attention is all you need
Ashish Vaswani, Noam Shazeer, Niki Parmar, Jakob Uszkoreit, Llion Jones, Aidan N Gomez, Łukasz Kaiser, and Illia Polosukhin · 2017
Cited alongside, same era.
Neural Lyapunov Control
Ya-Chien Chang, Nima Roohi, and Sicun Gao · 2019
Cited alongside, same era.
Deep learning for symbolic mathematics
Guillaume Lample and François Charton · 2019
Cited alongside, same era.
Formalising perfectoid spaces
Kevin Buzzard, Johan Commelin, and Patrick Massot · 2020
Cited alongside, same era.
PICOS: A Python interface to conic optimization solvers
Guillaume Sagnol and Maximilian Stahlberg · 2022
Later among the works it cites.
Salsa: Attacking lattice cryptography with transformers
Emily Wenger, Mingjie Chen, Francois Charton, and Kristin E Lauter · 2022
Later among the works it cites.
Augmented Neural Lyapunov Control
Davide Grande, Andrea Peruffo, Enrico Anderlini, and Georgios Salavasidis · 2023
Later among the works it cites.
Length generalization in arithmetic transformers
Samy Jelassi, Stéphane d’Ascoli, Carles Domingo-Enrich, Yuhuai Wu, Yuanzhi Li, and François Charton · 2023
Later among the works it cites.
Learning to compute gr \ \backslash " obner bases
Hiroshi Kera, Yuki Ishihara, Yuta Kambe, Tristan Vaccon, and Kazuhiro Yokoyama · 2023
Later among the works it cites.
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
François Charton, Amaury Hayat, and Guillaume Lample · 2020
Cited alongside, same era.
Generative language modeling for automated theorem proving, 2020
Stanislas Polu and Ilya Sutskever · 2020
Cited alongside, same era.
It’s not what machines can learn, it’s what we cannot teach
Gal Yehuda, Moshe Gabel, and Assaf Schuster · 2020
Cited alongside, same era.
Neural symbolic regression that scales, 2021
Luca Biggio, Tommaso Bendinelli, Alexander Neitz, Aurelien Lucchi, and Giambattista Parascandolo · 2021
Cited alongside, same era.
Investigating the limitations of the transformers with simple arithmetic tasks
Rodrigo Frassetto Nogueira, Zhiying Jiang, and Jimmy Lin · 2021
Cited alongside, same era.
Constructions in combinatorics via neural networks
Adam Zsolt Wagner · 2021
Cited alongside, same era.
Human-level play in the game of <i>diplomacy</i> by combining language models with strategic reasoning
Anton Bakhtin, Noam Brown, Emily Dinan, Gabriele Farina, Colin Flaherty, Daniel Fried, Andrew Goff, Jonathan Gray, Hengyuan Hu, Athul Paul Jacob, Mojtaba Komeili, Karthik Konath, Minae Kwon, Adam Lerer, Mike Lewis, Alexander H. Miller, Sasha Mitts, Adithya Renduchintala, Stephen Roller, Dirk Rowe, Weiyan Shi, Joe Spisak, Alexander Wei, David Wu, Hugh Zhang, and Markus Zijlstra · 2022
Cited alongside, same era.
Large language models are human-level prompt engineers, 2023
Yongchao Zhou, Andrei Ioan Muresanu, Ziwen Han, Keiran Paster, Silviu Pitis, Harris Chan, and Jimmy Ba · 2023
Later among the works it cites.
Fossil 2.0: Formal certificate synthesis for the verification and control of dynamical models
Alec Edwards, Andrea Peruffo, and Alessandro Abate · 2024
Closest in time.
Jun Liu, Yiming Meng, Maxwell Fitzsimmons, and Ruikun Zhou · 2024
Closest in time.
Mathematical discoveries from program search with large language models
Bernardino Romera-Paredes, Mohammadamin Barekatain, Alexander Novikov, Matej Balog, M. Pawan Kumar, Emilien Dupont, Francisco J. R. Ruiz, Jordan S. Ellenberg, Pengming Wang, Omar Fawzi, Pushmeet Kohli, and Alhussein Fawzi · 2024
Closest in time.
Code llama: Open foundation models for code, 2024
Baptiste Rozière, Jonas Gehring, Fabian Gloeckle, Sten Sootla, Itai Gat, Xiaoqing Ellen Tan, Yossi Adi, Jingyu Liu, Romain Sauvestre, Tal Remez, Jérémy Rapin, Artyom Kozhevnikov, Ivan Evtimov, Joanna Bitton, Manish Bhatt, Cristian Canton Ferrer, Aaron Grattafiori, Wenhan Xiong, Alexandre Défossez, Jade Copet, Faisal Azhar, Hugo Touvron, Louis Martin, Nicolas Usunier, Thomas Scialom, and Gabriel Synnaeve · 2024
Closest in time.
Solving olympiad geometry without human demonstrations
Trieu H. Trinh, Yuhuai Wu, Quoc V. Le, He He, and Thang Luong · 2024
Closest in time.
Sumofsquares.py, 2024
Chenyang Yuan · 2024
Closest in time.