| Title | Subject(s) | Venue & Year | Links & Resources |
|---|---|---|---|
| Extremal descendant integrals on moduli spaces of curves: An inequality discovered and proved in collaboration with AI | Algebraic Geometry, ATP, LLM | arXiv 2025 | Code |
| The Equational Theories Project: Advancing Collaborative Mathematical Research at Scale | Algebra, LLM, CNN, ATP | arXiv 2025 | Code Site |