Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Quinn Dougherty
conf.researchr.org general profile
ICSE 2025 profile
POPL 2026 profile
Registered user since Wed 6 Nov 2024
Name:
Quinn Dougherty
Contributions
2026
Dafny
Author of A benchmark for vericoding: formally verified program synthesis within the Dafny 2026-track
2025
LLM4Code
Author of Proving the Coding Interview: A Benchmark for Formally Verified Code Generation within the Large Language Models for Code-track
Share
x
Sat 17 Oct 12:39