Quinn Dougherty

Researcher, Beneficial AI Foundation

Joined

June 2025

Names

Quinn Dougherty (Preferred)

Emails

****@gmail.com (Confirmed)

,

****@beneficialaifoundation.org (Confirmed)

Personal Links

Semantic Scholar

Career & Education History

Researcher

Beneficial AI Foundation (beneficialaifoundation.org)

2024 – Present

Undergrad student

Mathematics, Community College of Philadelphia (ccp.edu)

2016 – 2018

Advisors, Relations & Conflicts

No relations added

Expertise

Formal proof synthesis

2024 – 2025

Publications

A Benchmark for Vericoding: Formally Verified Program Synthesis
Sergiu Bursuc, Theodore Ehrenborg, Shaowei Lin, Lacramioara Astefanoaei, Ionel Emilian Chiosa, Jure Kukovec, Alok Singh, Oliver Butterley, Adem Bizid, Quinn Dougherty, Miranda Zhao, Max Tan, Max Tegmark
- Submitted to ICLR 2026
- Readers: Everyone

Co-Authors