quinn-dougherty/fvapps
Viewer
•
Updated
•
4.72k
•
29
•
6
Quinn Dougherty
quinn-dougherty
AI & ML interests
None yet
Recent Activity
new activity
11 days ago
beneficial-ai-foundation/vericoding:Upload folder using huggingface_hub
authored
a paper
12 days ago
A benchmark for vericoding: formally verified program synthesis
new activity
13 days ago
beneficial-ai-foundation/vericoding:Upload folder using huggingface_hub
Organizations
