1 citations · 1 across the 6 of their papers we have counts for
10 papers
Do Theorem Provers Need Theorem-Proving Agents? mini-Lean-agent: A Coding-Agent Baseline for Lean
Tomas Ortega, Simon Park, Ayush Khaitan +3
General-purpose coding agents use standard shell and file interactions, yet formal theorem-proving agents often rely on specialized, ad-hoc tooling. This makes it difficult to dete…
A Lean Formalization of the Hamilton--Perelman Proof of the Three-Dimensional Poincaré Conjecture
Ziyang Qin, Yuan Liao, Ayush Khaitan +1
We formalize the smooth three-dimensional Poincaré conjecture, together with the Moise smoothing theorem, yielding the topological three-dimensional Poincaré conjecture. The smooth…
Local and global conformal invariants of submanifolds
Jeffrey S. Case, Ayush Khaitan, Yueh-Ju Lin +2
We develop methods for constructing and computing conformal invariants of submanifolds, with a particular emphasis on conformal submanifold scalars and conformally invariant integr…
O-Forge: An LLM + Computer Algebra Framework for Asymptotic Analysis
Ayush Khaitan, Vijay Ganesh
Large language models have recently demonstrated advanced capabilities in solving IMO and Putnam problems; yet their role in research mathematics has remained fairly limited. The k…
Elementary symmetric polynomials under the fixed point measure
Ayush Khaitan, Ishan Mata, Bhargav Narayanan
We identify a surprising inequality satisfied by elementary symmetric polynomials under the action of the fixed point measure of a random permutation. Concretely, for any collectio…
Computing renormalized curvature integrals on Poincaré-Einstein manifolds
Jeffrey S. Case, Ayush Khaitan, Yueh-Ju Lin +2
We describe a general procedure for computing renormalized curvature integrals on Poincaré-Einstein manifolds. In particular, we explain the connection between the Gauss-Bonnet-typ…
The weighted ambient metric for manifolds with density
Ayush Khaitan
We prove the existence and uniqueness of a weighted analogue of the Fefferman-Graham ambient metric for manifolds with density. We then show that this ambient metric forms the natu…
Weighted renormalized volume coefficients
Ayush Khaitan
We define weighted renormalized volume coefficients and prove that they are variational. We also prove that they can be written as polynomials of weighted extended obstruction tens…
Weighted GJMS operators on smooth metric measure spaces
Ayush Khaitan
We construct weighted GJMS operators on smooth metric measure spaces, and prove that they are formally self-adjoint. We also provide factorization formulas for them in the case of…
The Weighted Ambient Metric
Jeffrey S. Case, Ayush Khaitan
We prove the existence and uniqueness of weighted ambient metrics and weighted Poincaré metrics for smooth metric measure spaces.