Greg Durrett
Greg Durrett
Affiliation: New York University
Pages in this Program
ProofWala: A Framework for Multilingual Proof Data Synthesis and Theorem-Proving
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated:
🔍 ↑