76 citations · 284 across the 25 of their papers we have counts for
4 papers · 1 filter
Quantum operations on the ring of symmetric functions
Daniel Halpern-Leistner, Andres Fernandez Herrero
We define a version of stable maps into the classifying stack , and develop a corresponding notion of -theoretic Gromov-Witten invariants. In this setting, the e…
Aristotle: IMO-level Automated Theorem Proving
Tudor Achim, Alex Best, Alberto Bietti +20
We introduce Aristotle, an AI system that combines formal verification with informal reasoning, achieving gold-medal-equivalent performance on the 2025 International Mathematical O…
A categorical perspective on non-abelian localization
Daniel Halpern-Leistner
In equivariant geometry, a localization (a.k.a., concentration) theorem is typically interpreted as a relationship between the equivariant geometry of a space with a group action a…
Intrinsic Donaldson-Thomas theory. I. Component lattices of stacks
Chenjing Bu, Daniel Halpern-Leistner, Andrés Ibáñez Núñez +1
This is the first paper in a series on intrinsic Donaldson-Thomas theory, where we develop a new framework for enumerative geometry that allows the generalization of constructions…