Weston Kirk

Undergrad student, Stanford University

Joined

May 2025

Names

Weston Kirk (Preferred)

Emails

****@stanford.edu (Confirmed)

Personal Links

Career & Education History

Undergrad student

Stanford University (stanford.edu)

2022 – Present

Advisors, Relations & Conflicts

No relations added

Expertise

No areas of expertise listed

Publications

VeriBench: End-to-End Formal Verification Benchmark for AI Code Generation in Lean 4
Brando Miranda, Srivatsava Daruru, Zhanke Zhou, Slim Barkallah, Allen Nie, Iddah Mlauzi, Leni Aniva, Elyas Obbad, Weston Kirk, Ying Li, Santiago Cuellar, Dilara Soylu, Kai Fronsdal, John Sarracino, Andrea Yu, Rylan Schaeffer, Rakshit Kaushik, Bo Han, Sanmi Koyejo
- Submitted to ICLR 2026
- Readers: Everyone
VeriBench: End-to-End Formal Verification Benchmark for AI Code Generation in Lean 4
Brando Miranda, Zhanke Zhou, Allen Nie, Elyas Obbad, Leni Aniva, Kai Fronsdal, Weston Kirk, Dilara Soylu, Andrea Yu, Ying Li, Sanmi Koyejo
- AI4Math@ICML25 Poster
- Readers: Everyone

Co-Authors