Ph.D. Researcher @ Brown | Theoretical Physics × AI | LLMs · Reinforcement Learning
- I build AI systems that reason about physics. My domain-specific LLM autonomously proposes and validates particle physics theories using formal verification, compressing decades of research into minutes.
- Broadly interested in AI for Science, formal verification in theoretical physics, and pushing the frontier of what machines can formally reason about.
- Currently: LLMs for theoretical physics.
- Open to industry opportunities in AI/ML, AI for Science, and next-generation reliable intelligence.
- Built a domain-specific LLM trained on 100k synthetic particle-physics theories, fine-tuned with GRPO; rediscovered the Standard Model using only pre-1990 data; predicated the existence of top quark, tau neutrino, and Higgs boson, as well as their masses within 1 sigma from the modern measurement at Large Hadron Collider.
- Published on gravitational waves, dark matter, galaxy formation, and cosmic inflation in the early universe.