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