Theory & Logic
Research & Ideas
Exploring the boundaries of autoformalization, theorem proving, and computational logic.
Research Experience
Selected Publications
Talks & Presentations