Quinn Dougherty - write me
I'm working on AI security vai formal methods.
Quests and heists
- Galois
- BAIF
- Casper
- Squiggle
- Nix/NixOS
- Ardana and Orbis
- Common Pool Resources in MARL
- SERI
- Sandbox Banking
- CHIME
- SMAT
I'm contracting on Galois's ARIA contract, which is building on my prior paper Proving the Coding Interview
Scholarship (arxiv, Semantic Scholar, Google Scholar)
- Bursuc, S., Ehrenborg, T., Lin, S., Astefanoaei, L., Chiosa, I. E., Kukovec, J., Singh, A., Butterley, O., Bizid, A., Dougherty, Q., Zhao, M., Tan, M., & Tegmark, M. (2025). A benchmark for vericoding: formally verified program synthesis. arXiv.
- 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
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.