157 citations · 536 across the 39 of their papers we have counts for
46 papers
Fukaya category with supports
Mohammed Abouzaid, Yoel Groman, Umut Varolgunes
We associate to each compact subset of a closed symplectic manifold an -category $\Fuk_K$, called the Fukaya category with support on . The objects are tautolo…
Pseudo-Formalization for Automatic Proof Verification
Slim Barkallah, Luke Bailey, Kaiyue Wen +2
Reliable verification of proofs remains a bottleneck for training and evaluating AI systems on hard mathematical reasoning. Fully formal proofs, in languages like Lean, are easy to…
First Proof
Mohammed Abouzaid, Andrew J. Blumberg, Martin Hairer +8
To assess the ability of current AI systems to correctly answer research-level mathematics questions, we share a set of ten math questions which have arisen naturally in the resear…
Canonical orientations in Heegaard Floer theory
Mohammed Abouzaid, Ciprian Manolescu
We set up Heegaard Floer theory over the integers, using canonical orientations coming from coupled Spin structures on the Lagrangian tori. We prove naturality of Heegaard Floer ho…
Normal invariant of nearby Lagrangians via twisted derivative
Mohammed Abouzaid, Daniel Álvarez-Gavela, Sylvain Courte +1
Let and be closed, connected, smooth manifolds and let be an exact Lagrangian embedding. The induced map is known by earlier work to be a…
Bordism and resolution of singularities
Mohammed Abouzaid, Shaoyun Bai
We adapt algorithms for resolving the singularities of complex algebraic varieties to prove that the natural map of homology theories from complex bordism to the bordism theory of…