Quinn Dougherty
quinn-dougherty
AI & ML interests
None yet
Recent Activity
new activity
30 days ago
beneficial-ai-foundation/vericoding:Upload folder using huggingface_hub
authored
a paper
about 1 month ago
A benchmark for vericoding: formally verified program synthesis
new activity
about 1 month ago
beneficial-ai-foundation/vericoding:Upload folder using huggingface_hub
Organizations
