2 papers
math.AP2026
Formalization of De Giorgi--Nash--Moser Theory in Lean
Scott Armstrong, Julia Kempe
We present a formalization in Lean of the core interior De Giorgi--Nash--Moser theory for uniformly elliptic divergence-form equations with bounded measurable coefficients. The for…
cs.LG2024
Emergent properties with repeated examples
François Charton, Julia Kempe
We study the performance of transformers as a function of the number of repetitions of training examples with algorithmically generated datasets. On three problems of mathematics:…