45 citations · 204 across the 20 of their papers we have counts for
23 papers
Shaping the Future of Mathematics in the Age of AI
Johan Commelin, Mateja Jamnik, Rodrigo Ochigame +2
Artificial intelligence is transforming mathematics at a speed and scale that demand active engagement from the mathematical community. We examine five areas where this transformat…
SorryDB: Can AI Provers Complete Real-World Lean Theorems?
Austin Letson, Leopoldo Sarra, Auguste Poiroux +9
We present SorryDB, a dynamically-updating benchmark of open Lean tasks drawn from 78 real world formalization projects on GitHub. Unlike existing static benchmarks, often composed…
Deformations and Lifts of Calabi-Yau Varieties in Characteristic
Lukas Brantner, Lenny Taelman
We study deformations of Calabi-Yau varieties in characteristic using techniques from derived algebraic geometry. We prove a mixed characteristic analogue of the Bogomolov-Tian…
Derived equivalences of hyperkähler varieties
Lenny Taelman
We show that the Looijenga--Lunts--Verbitsky Lie algebra acting on the cohomology of a hyperkähler variety is a derived invariant, and obtain from this a number of consequences for…
Ordinary K3 surfaces over a finite field
Lenny Taelman
We give a description of the category of ordinary K3 surfaces over a finite field in terms of linear algebra data over Z. This gives an analogue for K3 surfaces of Deligne's descri…
Automorphisms of even unimodular lattices and equivariant Witt groups
Eva Bayer-Fluckiger, Lenny Taelman
We characterize the irreducible polynomials that occur as a characteristic polynomial of an automorphism of an even unimodular lattice of given signature, generalizing a theorem of…