Get started
Author

Ayush Khaitan

Observed name: Khaitan, Ayush
ORCID: 0000-0003-2094-5434
Observed ORCID: 0000-0003-2094-5434
OpenAlex ID: A5004659275
Computing renormalized curvature integrals on Poincaré–Einstein manifolds
2026 · Jeffrey S. Case, Ayush Khaitan, et al. · Advances in Mathematics · 5
PDF
A Lean Formalization of the Hamilton--Perelman Proof of the Three-Dimensional Poincaré Conjecture
2026 · Qin, Ziyang, Liao, Yuan, et al. · arXiv (Cornell University) · 3
PDF
Weighted GJMS Operators on Smooth Metric Measure Spaces
2026 · Ayush Khaitan · Journal of Geometric Analysis · 3
PDF
Local and global conformal invariants of submanifolds
2026 · Case, Jeffrey S., Khaitan, Ayush, et al. · arXiv (Cornell University) · 2
PDF
The weighted ambient metric for manifolds with density
2026 · Ayush Khaitan · Advances in Mathematics · 2
PDF
O-Forge: An LLM + Computer Algebra Framework for Asymptotic Analysis
2025 · Khaitan, Ayush, Ganesh, Vijay · arXiv (Cornell University) · 2
PDF
The Weighted Ambient Metric
2022 · Jeffrey Case, Ayush Khaitan · Symmetry Integrability and Geometry Methods and Applications · 2
PDF
Weighted renormalized volume coefficients
2026 · Ayush Khaitan · Differential Geometry and its Applications · 1
PDF
Do Theorem Provers Need Theorem-Proving Agents? mini-Lean-agent: A Coding-Agent Baseline for Lean
2026 · Ortega, Tomas, Park, Simon, et al. · arXiv (Cornell University)
PDF
A Lean Formalization of the Hamilton--Perelman Proof of Thurston's Geometrization Conjecture
2026 · Liao, Yuan, Qin, Ziyang, et al. · arXiv (Cornell University)
PDF
Elementary symmetric polynomials under the fixed point measure
2025 · Khaitan, Ayush, Mata, Ishan, et al. · arXiv (Cornell University)
PDF
Works count: 11
Citation count: 20
H-index: 3
I10-index:
Year
Topic
Type