Michelle Ding's Homepage

I am an undergraduate student at the University of Texas at Austin, where I study Mathematics and Computer Science under the Turing Scholars Honors Program.

Curriculum Vitae

---

Graduate Research

---

Undergraduate Research

2024: Thesis (ongoing)

Jun 2024: George Tsoukalas, Jasper Lee, John Jennings, Jimmy Xin, MD, Michael Jennings, Amitayush Thakur, Swarat Chaudhuri. PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition

arXiv:2407.11214 GitHub

Apr 2024: Neil A., MD, Aadarsh N. CS345: Formal Verification of Quantum Error Correction

PDF GitHub

Dec 2023: MD et al. IFML Retrieval Augmented Generation Models

Manuscript

Oct 2022: MD, Letizia F. Quantum Connect Four

PDF GitHub

Jun 2022: MD Quantum State Tomography Experiments on PBS

Poster

Apr 2022: MD, Letizia F. CHSH Inequality Experiments

PDF Code

---