research
∙
08/29/2023
Can transformers learn the greatest common divisor?
I investigate the capability of small transformers to compute the greate...
share
research
∙
06/27/2023
Length Generalization in Arithmetic Transformers
We examine how transformers cope with two challenges: learning basic int...
research
∙
06/20/2023
SALSA VERDE: a machine learning attack on Learning With Errors with sparse small secrets
Learning with Errors (LWE) is a hard math problem used in post-quantum c...
research
∙
05/08/2023
A mimetic approach to social influence on Instagram
We combine philosophical theories with quantitative analyses of online d...
research
∙
03/07/2023
SALSA PICANTE: a machine learning attack on LWE with binary secrets
The Learning With Errors (LWE) problem is one of the major hard problems...
research
∙
03/03/2023
An efficient algorithm for integer lattice reduction
A lattice of integers is the collection of all linear combinations of a ...
research
∙
12/21/2022
Contrastive Distillation Is a Sample-Efficient Self-Supervised Loss Policy for Transfer Learning
Traditional approaches to RL have focused on learning decision policies ...
research
∙
10/31/2022
What is my math transformer doing? – Three results on interpretability and generalization
This paper investigates the failure cases and out-of-distribution behavi...
research
∙
07/11/2022
SALSA: Attacking Lattice Cryptography with Transformers
Currently deployed public-key cryptosystems will be vulnerable to attack...
research
∙
06/30/2022
Code Translation with Compiler Representations
In this paper, we leverage low-level compiler intermediate representatio...
research
∙
04/22/2022
End-to-end symbolic regression with transformers
Symbolic regression, the task of predicting the mathematical expression ...
research
∙
01/12/2022
Deep Symbolic Regression for Recurrent Sequences
Symbolic regression, i.e. predicting a function from the observation of ...
research
∙
12/07/2021
A deep language model to predict metabolic network equilibria
We show that deep learning models, and especially architectures like the...
research
∙
12/03/2021
Linear algebra with transformers
Most applications of transformers to mathematics, from integration to th...
research
∙
10/13/2021
Leveraging Automated Unit Tests for Unsupervised Code Translation
With little to no parallel data available for programming languages, uns...
research
∙
06/11/2020
Deep Differential System Stability – Learning advanced computations from examples
Can advanced mathematical computations be learned from examples? Using t...
research
∙
12/02/2019