Quinn Dougherty

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

Collaborative distances:

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

2025

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

Quinn Dougherty, Ronak Mehta

CoRR, February, 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