Quinn Dougherty - write me

I'm working on AI security vai formal methods.

Quests and heists

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

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

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.

Quinn Dougherty - write me

Quests and heists​

Scholarship (arxiv, Semantic Scholar, Google Scholar)​

Education and certifications​

Effective Altruism​

My sordid past​

Quests and heists

Scholarship (arxiv, Semantic Scholar, Google Scholar)

Education and certifications

Effective Altruism

My sordid past