Quinn Dougherty - write me - vid chat
Projects
- BAIF
- Casper
- Squiggle
- Nix/NixOS
- Ardana and Orbis
- Common Pool Resources in MARL
- SERI
- Sandbox Banking
- CHIME
- SMAT
I work at Beneficial AI Foundation on making formal verification cheaper.
Scholarship (view Semantic Scholar, view Google Scholar)
- Mehta, R, Dougherty, Q. (2025). Proving the Coding Interview: A Benchmark for Formally Verified Code Generation (llm4code at ICSE)
- Bevensee, E., Aliapoulios, M., Dougherty, Q., Baumgartner, J., McCoy, D., & Blackburn, J. (2020). SMAT: The Social Media Analysis Toolkit. ICWSM. https://doi.org/10.36190/2020.18
- Wang, P.; Liu, K.; Dougherty, Q. Conceptions of Artificial Intelligence and Singularity. Information 2018, 9, 79
Education and certifications
- Triplebyte
- Tensorflow
- Bloom Institute of Technology
- Community College of Philadelphia
Machine learning engineer: top 3% in examination including databases, data structures/algorithms, system architecture, machine learning, and data science.
Effective Altruism
- Proof Scaling Meeting
- Talks
- EA Forum / LessWrong
- Alignable Structures
- MA4
- CEEALAR
- EA Philly
- AGISF
I ran Proof Scaling Meeting alongside Ben Goldhaber and Evan Miyazono.
My sordid past
I ran operations and logistics for film sets, wrote music for films and plays, and organized concerts.