OpenReview.net
  • Login

Weston Kirk

Undergrad student, Stanford University

  • Joined May 2025

Names

Weston Kirk (Preferred)
  • Suggest Name

Emails

****@stanford.edu (Confirmed)
  • Suggest Email

Personal Links

LinkedIn
  • Suggest URL

Career & Education History

Undergrad student
Stanford University (stanford.edu)
2022 – Present
 
  • Suggest Position

Advisors, Relations & Conflicts

No relations added

  • Suggest Relation

Expertise

No areas of expertise listed

  • Suggest Expertise

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

  • Allen Nie
  • Andrea Yu
  • Bo Han
  • Brando Miranda
  • Dilara Soylu
  • Elyas Obbad
  • Iddah Mlauzi
  • John Sarracino
  • Kai Fronsdal
  • Leni Aniva
  • Rakshit Kaushik
  • Rylan Schaeffer
  • Sanmi Koyejo
  • Santiago Cuellar
  • Slim Barkallah
  • Srivatsava Daruru
  • Ying Li
  • Zhanke Zhou
  • About OpenReview
  • Hosting a Venue
  • All Venues
  • Contact
  • Sponsors
  • Donate
  • FAQ
  • Terms of Use / Privacy Policy
  • News
  • About OpenReview
  • Hosting a Venue
  • All Venues
  • Sponsors
  • News
  • FAQ
  • Contact
  • Donate
  • Terms of Use
  • Privacy Policy

OpenReview is a long-term project to advance science through improved peer review with legal nonprofit status. We gratefully acknowledge the support of the OpenReview Sponsors. © 2026 OpenReview