AI Safety
LinuxArena: A Control Setting for AI Agents in Live Production Software Environments (with T. Tracy, R. Potham, and others), April 2026 (paper, website)
Mathematics
K-theoretic Wall-crossing for equivariant CY3 categories (with H. Liu and F. Thimm), December 2025, submitted
Spin structures on perfect complexes, October 2024, submitted
Categorical Foundations of Formalized Condensed Mathematics (with D. Asgeirsson, R. Brasca, F. Nuccio and A. Topaz), Journal of Symbolic Logic (2024) (arXiv, Lean formalization in mathlib)
The 3-fold K-theoretic DT/PT vertex correspondence holds (with H. Liu and F. Thimm), Geometry & Topology, Vol. 30 (2026)
The Atiyah class on algebraic stacks, Forum of Mathematics, Sigma, Vol. 12 (2024)
Degenerations of Sheaves on Fibered Surfaces, Moduli (2025)
The Blowup Formula for the Instanton Part of Vafa-Witten Invariants on Projective Surfaces (with O. Leigh and Y. Tanaka), 2022, to appear in Algebraic Geometry
An explicit self-duality (with D. Mallory, V. Thatte and K. Wickelgren), in Stacks Project Expository Collection (SPEC) (2022)
A blowup formula for virtual enumerative invariants on projective surfaces (with Y. Tanaka), 2021
Finding endomorphisms of Drinfeld modules (with R. Pink). Journal of Number Theory 232 (2022): 118-154.
PhD Thesis