I work on making reasoning systems precise, verifiable, and usable in law and policy.

I am a Postdoctoral Scholar affiliated with Stanford Law School and Stanford NLP. I work with Dan Ho, Chris Manning and Jacob Goldin. I completed my Ph.D. in Computer Science at Yale (2021.9 - 2025.9). My dissertation is on advancing LLM reasoning from logic to law (advised by Drago Radev).

Previously, I interned at Google Deepmind, Meta Superintelligence Labs and AWS, working on advancing reasoning capabilities in large language models. I completed my B.Eng Computer Science degree in Nanyang Technological University, Singapore.

I was fortunate to have been supported by Emily Hau, Scott Shapiro and Ruzica Piskac during my PhD studies.

Selected Publications

Awards

Recent talks

Invited talk at AAAI 2026 Workshop: Bridge Program on Advancing LLM-Based Multi-Agent Collaboration, January 2026.
From First Principles to Real-World Applications: Advancing LLM Reasoning from Logic to Law. Invited talk at Zhejiang University, November 2025.
From First Principles to Real-World Applications: Advancing LLM Reasoning from Logic to Law. Invited talk at UCSB, October 2025.
From First Principles to Real-World Applications: Advancing LLM Reasoning from Logic to Law. Thesis Defense talk at Yale, September 2025. Slides. Video.
From First Principles to Real-World Applications: Advancing LLM Reasoning from Logic to Law. Invited talk at Rice University, September 2025.
From First Principles to Real-World Applications: Advancing LLM Reasoning from Logic to Law. Invited talk at Google Deepmind, August 2025.
Advancing Reasoning in Large Language Models: from Fundamentals to Real-World Applications. Invited talk at CMU, April 2025.
Advancing Reasoning in Large Language Models: from Fundamentals to Real-World Applications. Invited talk at UCSD, Nov 2024.
Advancing Reasoning in Large Language Models: from Fundamentals to Real-World Applications. Thesis prospectus talk at Yale, May 2024.

Teaching

Services and Organization

Miscellaneous