Research Experience
Selected Publications
Talks & Presentations
View all slides and presentations
Exploring the boundaries of autoformalization, theorem proving, and computational logic.