Skip to main content

Quinn Dougherty - write me - vid chat

github - linkedin

Projects​

I work at Beneficial AI Foundation on making formal verification cheaper.

Education and certifications​

Machine learning engineer: top 3% in examination including databases, data structures/algorithms, system architecture, machine learning, and data science.

Scholarship (view Semantic Scholar, view Google Scholar)​

  • Mehta, R, Dougherty, Q. (2025). Proving the Coding Interview: A Benchmark for Formally Verified Code Generation (forthcoming at 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​

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.