Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
17
3
Quinn Dougherty
quinn-dougherty
Follow
SofiaLanfri's profile picture
1 follower
·
1 following
https://quinn-dougherty.com
qd_forall
quinn-dougherty
quinn-dougherty
AI & ML interests
None yet
Recent Activity
new
activity
7 days ago
beneficial-ai-foundation/vericoding:
Upload folder using huggingface_hub
authored
a paper
8 days ago
A benchmark for vericoding: formally verified program synthesis
new
activity
9 days ago
beneficial-ai-foundation/vericoding:
Upload folder using huggingface_hub
View all activity
Organizations
Papers
2
arxiv:
2509.22908
arxiv:
2502.05714
models
0
None public yet
datasets
1
quinn-dougherty/fvapps
Viewer
•
Updated
Feb 11
•
4.72k
•
26
•
6