activity
20242026
most citedGlobal Lyapunov functions: a long-standing open problem in mathematics, with symbolic transformers

1 citations · 1 across the 7 of their papers we have counts for

collaborators

8 papers

math.NT2026

Machine learning the arithmetic of Boyd's Mahler measure conjectures

Alberto Alfarano, Pablo Bianucci, Matilde N. Lal\'ın +1

Boyd conjectured that the Mahler measure of for an integer, is given by , where is the elliptic curve associated to…

cs.LG2026

Lattice Deduction Transformers

Liam Davis, Leopold Haller, Alberto Alfarano +1

We introduce the Lattice Deduction Transformer (LDT), a recurrent transformer that approximates logically sound deduction by projecting its latent state through a lattice between f…

cs.CR2026

Improving ML Attacks on LWE with Data Repetition and Stepwise Regression

Alberto Alfarano, Eshika Saxena, Emily Wenger +2

The Learning with Errors (LWE) problem is a hard math problem in lattice-based cryptography. In the simplest case of binary secrets, it is the subset sum problem, with error. Effec…

cs.LG2026

On the origin of neural scaling laws: from random graphs to natural language

Maissam Barkeshli, Alberto Alfarano, Andrey Gromov

Scaling laws have played a major role in the modern AI revolution, providing practitioners predictive power over how the model performance will improve with increasing data, comput…

cs.LG2025

TAPAS: Datasets for Learning the Learning with Errors Problem

Eshika Saxena, Alberto Alfarano, François Charton +2

AI-powered attacks on Learning with Errors (LWE), an important hard math problem in post-quantum cryptography, rival or outperform "classical" attacks on LWE under certain paramete…

cs.CV2024

STLight: a Fully Convolutional Approach for Efficient Predictive Learning by Spatio-Temporal joint Processing

Andrea Alfarano, Alberto Alfarano, Linda Friso +3

Spatio-Temporal predictive Learning is a self-supervised learning paradigm that enables models to identify spatial and temporal patterns by predicting future frames based on past f…

cs.LG2024★ 1 cited

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…

cs.LG2024

Making Hard Problems Easier with Custom Data Distributions and Loss Regularization: A Case Study in Modular Arithmetic

Eshika Saxena, Alberto Alfarano, François Charton +3

Recent work showed that ML-based attacks on Learning with Errors (LWE), a hard problem used in post-quantum cryptography, outperform classical algebraic attacks in certain settings…