Quinn Dougherty

According to our database, Quinn Dougherty authored at least 4 papers between 2018 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

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

CoRR, September, 2025

Proving the Coding Interview: A Benchmark for Formally Verified Code Generation.

Quinn Dougherty, Ronak Mehta

Proceedings of the IEEE/ACM International Workshop on Large Language Models for Code, 2025

2020

SMAT: The Social Media Analysis Toolkit.

Emmi Bevensee, Maxwell Aliapoulios, Quinn Dougherty, Jason Baumgartner, Damon McCoy, Jeremy Blackburn

Proceedings of the Workshop Proceedings of the 14th International AAAI Conference on Web and Social Media, 2020

2018

Conceptions of Artificial Intelligence and Singularity.

Pei Wang, Kai Liu, Quinn Dougherty

Inf., 2018