Global Lyapunov functions: a long-standing open problem in mathematics, with symbolic transformers
Fuente:
arXiv
Enregistré dans:
| Auteurs principaux: | Alfarano, Alberto, Charton, François, Hayat, Amaury |
|---|---|
| Format: | Preprint |
| Publié: |
2024
|
| Sujets: | |
| Accès en ligne: | |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
Documents similaires
Int2Int: a framework for mathematics with transformers
par: Charton, François
Publié: (2025)
par: Charton, François
Publié: (2025)
Learning the greatest common divisor: explaining transformer predictions
par: Charton, François
Publié: (2023)
par: Charton, François
Publié: (2023)
Improving ML Attacks on LWE with Data Repetition and Stepwise Regression
par: Alfarano, Alberto, et autres
Publié: (2026)
par: Alfarano, Alberto, et autres
Publié: (2026)
TAPAS: Datasets for Learning the Learning with Errors Problem
par: Saxena, Eshika, et autres
Publié: (2025)
par: Saxena, Eshika, et autres
Publié: (2025)
Making Hard Problems Easier with Custom Data Distributions and Loss Regularization: A Case Study in Modular Arithmetic
par: Saxena, Eshika, et autres
Publié: (2024)
par: Saxena, Eshika, et autres
Publié: (2024)
Transformers know more than they can tell -- Learning the Collatz sequence
par: Charton, François, et autres
Publié: (2025)
par: Charton, François, et autres
Publié: (2025)
Emergent properties with repeated examples
par: Charton, François, et autres
Publié: (2024)
par: Charton, François, et autres
Publié: (2024)
Exponential stability of the linearized viscous Saint-Venant equations using a quadratic Lyapunov function
par: Hayat, Amaury, et autres
Publié: (2026)
par: Hayat, Amaury, et autres
Publié: (2026)
Instruction Diversity Drives Generalization To Unseen Tasks
par: Zhang, Dylan, et autres
Publié: (2024)
par: Zhang, Dylan, et autres
Publié: (2024)
Traffic Flow Reconstruction from Limited Collected Data
par: Baloul, Nail, et autres
Publié: (2026)
par: Baloul, Nail, et autres
Publié: (2026)
$\textbf{Only-IF}$:Revealing the Decisive Effect of Instruction Diversity on Generalization
par: Zhang, Dylan, et autres
Publié: (2024)
par: Zhang, Dylan, et autres
Publié: (2024)
On the origin of neural scaling laws: from random graphs to natural language
par: Barkeshli, Maissam, et autres
Publié: (2026)
par: Barkeshli, Maissam, et autres
Publié: (2026)
When can transformers reason with abstract symbols?
par: Boix-Adsera, Enric, et autres
Publié: (2023)
par: Boix-Adsera, Enric, et autres
Publié: (2023)
From Symbolic Tasks to Code Generation: Diversification Yields Better Task Performers
par: Zhang, Dylan, et autres
Publié: (2024)
par: Zhang, Dylan, et autres
Publié: (2024)
Beyond Model Collapse: Scaling Up with Synthesized Data Requires Verification
par: Feng, Yunzhen, et autres
Publié: (2024)
par: Feng, Yunzhen, et autres
Publié: (2024)
Lattice Deduction Transformers
par: Davis, Liam, et autres
Publié: (2026)
par: Davis, Liam, et autres
Publié: (2026)
A Tale of Tails: Model Collapse as a Change of Scaling Laws
par: Dohmatob, Elvis, et autres
Publié: (2024)
par: Dohmatob, Elvis, et autres
Publié: (2024)
Transforming Calabi-Yau Constructions: Generating New Calabi-Yau Manifolds with Transformers
par: Yip, Jacky H. T., et autres
Publié: (2025)
par: Yip, Jacky H. T., et autres
Publié: (2025)
Discovering an interpretable mathematical expression for a full wind-turbine wake with artificial intelligence enhanced symbolic regression
par: Wang, Ding, et autres
Publié: (2024)
par: Wang, Ding, et autres
Publié: (2024)
Learning neuro-symbolic convergent term rewriting systems
par: Petruzzellis, Flavio, et autres
Publié: (2025)
par: Petruzzellis, Flavio, et autres
Publié: (2025)
Iteration Head: A Mechanistic Study of Chain-of-Thought
par: Cabannes, Vivien, et autres
Publié: (2024)
par: Cabannes, Vivien, et autres
Publié: (2024)
Salsa Fresca: Angular Embeddings and Pre-Training for ML Attacks on Learning With Errors
par: Stevens, Samuel, et autres
Publié: (2024)
par: Stevens, Samuel, et autres
Publié: (2024)
Rethinking the long-range dependency in Mamba/SSM and transformer models
par: Ma, Cong, et autres
Publié: (2025)
par: Ma, Cong, et autres
Publié: (2025)
PatternBoost: Constructions in Mathematics with a Little Help from AI
par: Charton, François, et autres
Publié: (2024)
par: Charton, François, et autres
Publié: (2024)
Variable transformations in consistent loss functions
par: Tyralis, Hristos, et autres
Publié: (2025)
par: Tyralis, Hristos, et autres
Publié: (2025)
Extrapolating Jet Radiation with Autoregressive Transformers
par: Butter, Anja, et autres
Publié: (2024)
par: Butter, Anja, et autres
Publié: (2024)
Lyapunov Learning at the Onset of Chaos
par: Benati, Matteo, et autres
Publié: (2025)
par: Benati, Matteo, et autres
Publié: (2025)
VQArt-Bench: A semantically rich VQA Benchmark for Art and Cultural Heritage
par: Alfarano, A., et autres
Publié: (2025)
par: Alfarano, A., et autres
Publié: (2025)
Optimal spanning tree reconstruction in symbolic regression
par: Neychev, Radoslav G., et autres
Publié: (2024)
par: Neychev, Radoslav G., et autres
Publié: (2024)
Predicting symbolic ODEs from multiple trajectories
par: Şahin, Yakup Emre, et autres
Publié: (2025)
par: Şahin, Yakup Emre, et autres
Publié: (2025)
Integrating Physics and Topology in Neural Networks for Learning Rigid Body Dynamics
par: Wei, Amaury, et autres
Publié: (2024)
par: Wei, Amaury, et autres
Publié: (2024)
Boosting classification reliability of NLP transformer models in the long run
par: Kmetty, Zoltán, et autres
Publié: (2023)
par: Kmetty, Zoltán, et autres
Publié: (2023)
Learned Lyapunov Shielding for Adaptive Control
par: Cirrincione, Giansalvo, et autres
Publié: (2026)
par: Cirrincione, Giansalvo, et autres
Publié: (2026)
Quantized symbolic time series approximation
par: Carson, Erin, et autres
Publié: (2024)
par: Carson, Erin, et autres
Publié: (2024)
Learning Euler Factors of Elliptic Curves
par: Babei, Angelica, et autres
Publié: (2025)
par: Babei, Angelica, et autres
Publié: (2025)
The importance of numerical symbols for the development of mathematical skills
par: Daniel Ansari
Publié: (2024)
par: Daniel Ansari
Publié: (2024)
A Probabilistic Neuro-symbolic Layer for Algebraic Constraint Satisfaction
par: Kurscheidt, Leander, et autres
Publié: (2025)
par: Kurscheidt, Leander, et autres
Publié: (2025)
Discovering equations from data: symbolic regression in dynamical systems
par: Brum, Beatriz R., et autres
Publié: (2025)
par: Brum, Beatriz R., et autres
Publié: (2025)
A Gibbs posterior sampler for inverse problem based on prior diffusion model
par: Giovannelli, Jean-François
Publié: (2026)
par: Giovannelli, Jean-François
Publié: (2026)
Is Tokenization Needed for Masked Particle Modelling?
par: Leigh, Matthew, et autres
Publié: (2024)
par: Leigh, Matthew, et autres
Publié: (2024)
Documents similaires
-
Int2Int: a framework for mathematics with transformers
par: Charton, François
Publié: (2025) -
Learning the greatest common divisor: explaining transformer predictions
par: Charton, François
Publié: (2023) -
Improving ML Attacks on LWE with Data Repetition and Stepwise Regression
par: Alfarano, Alberto, et autres
Publié: (2026) -
TAPAS: Datasets for Learning the Learning with Errors Problem
par: Saxena, Eshika, et autres
Publié: (2025) -
Making Hard Problems Easier with Custom Data Distributions and Loss Regularization: A Case Study in Modular Arithmetic
par: Saxena, Eshika, et autres
Publié: (2024)