cv
Please click the `pdf' button for a downloadable version
Basics
| Name | Daattavya Aggarwal |
| Label | At the intersection of mathematics, computer science and physics |
| da579@cam.ac.uk | |
| Phone | +44-07873444491 |
| Url | https://aggarwaldaattavya.com |
| Summary | Interested in AI-guided mathematical discovery and it's applications to mathematical physics, geometry and number theory |
Work
-
2024.01 - 2028.01 PhD student in AI for Mathematical Discovery
University of Cambridge
Developing novel methods for guided mathematical discovery by AI systems. Attempting to apply these approaches to reasearch problems. Have previously worked on problems in geometry and number theory.
Education
Awards
- 2020
Felix Scholar
The Felix Scholarship
A full ride scholarship for five Indian students yearly to study at the University of Oxford. Generously supported by an anonymous donor.
Publications
-
2026.03.06 Discovering Mathematical Concepts through a Multi-Agent System
arXiv preprint arXiv:2603.04528
A multi-agent model for computational mathematical discovery that poses its own conjectures and attempts to prove them, benchmarked on recovering the concept of homology from polyhedral data.
-
2025.10.09 A Remark on Weighted Average Multiplicities in Prime Factorisation
arXiv preprint arXiv:2510.06993
A study of weighted average multiplicity (WAM), a generalisation of the quality of an ABC triple, connecting it to the standard ABC conjecture.
-
2024.03.01 Machine Learning Sasakian and G2 Topology on Contact Calabi-Yau 7-Manifolds
Physics Letters B, Vol. 850, p. 138517
A machine learning approach to study topological quantities related to Sasakian and G2-geometries of contact Calabi-Yau 7-manifolds.
-
2019.07.01 Generalized Boolean Functions and Quantum Circuits on IBM-Q
IEEE ICCCNT 2019
Deriving a connection between quantum circuits using IBM's quantum gate set and multivariate quadratic polynomials over integers modulo 8.
-
2018.07.01 Application of Quantum Scrambling in Rydberg Atom on IBM Quantum Computer
arXiv preprint arXiv:1806.00781
A general quantum circuit to implement an interferometric protocol for measuring out-of-time-ordered correlator (OTOC) functions in Rydberg atom simulations.