Quinn Dougherty

quinn-dougherty's activity

• All
• Models
• Datasets
• Spaces
• Buckets
• Papers
• Collections
• Community
• Posts
• Upvotes
• Likes
• Articles

updated a dataset 23 days ago

quinn-dougherty/fvspec

Viewer • Updated 23 days ago • 9.42k • 42

published a dataset 4 months ago

quinn-dougherty/fvspec

Viewer • Updated 23 days ago • 9.42k • 42

New activity in beneficial-ai-foundation/vericoding 7 months ago

Upload folder using huggingface_hub

#4 opened 7 months ago by

quinn-dougherty

authored a paper 7 months ago

A benchmark for vericoding: formally verified program synthesis

Paper • 2509.22908 • Published Sep 26, 2025

New activity in beneficial-ai-foundation/vericoding 7 months ago

Upload folder using huggingface_hub

#3 opened 7 months ago by

quinn-dougherty

Upload folder using huggingface_hub

#1 opened 7 months ago by

quinn-dougherty

published a dataset 7 months ago

beneficial-ai-foundation/vericoding

Viewer • Updated Oct 24, 2025 • 12.5k • 33

liked a dataset 7 months ago

RoganInglis/control-tax

Viewer • Updated Aug 27, 2025 • 2.37k • 72 • 3

liked a dataset 10 months ago

wendy-sun/DafnyBench

Viewer • Updated Jun 6, 2024 • 782 • 110 • 7

liked a model 11 months ago

Goedel-LM/Goedel-Prover-SFT

7B • Updated Apr 18, 2025 • 333 • 30

New activity in quinn-dougherty/fvapps about 1 year ago

Upload folder using huggingface_hub

#15 opened about 1 year ago by

quinn-dougherty

updated a dataset about 1 year ago

quinn-dougherty/fvapps

Viewer • Updated Feb 11, 2025 • 4.72k • 14 • 6

New activity in quinn-dougherty/fvapps over 1 year ago

Upload folder using huggingface_hub

#14 opened over 1 year ago by

quinn-dougherty

Upload folder using huggingface_hub

#13 opened over 1 year ago by

quinn-dougherty

Upload folder using huggingface_hub

#12 opened over 1 year ago by

quinn-dougherty

Upload folder using huggingface_hub

#11 opened over 1 year ago by

quinn-dougherty

Upload folder using huggingface_hub

#10 opened over 1 year ago by

quinn-dougherty

Upload folder using huggingface_hub

#9 opened over 1 year ago by

quinn-dougherty

Upload folder using huggingface_hub

#8 opened over 1 year ago by

quinn-dougherty

Upload folder using huggingface_hub

#7 opened over 1 year ago by

quinn-dougherty