Quinn Dougherty
quinn-dougherty
AI & ML interests
None yet
Recent Activity
liked
a dataset
about 2 months ago
wendy-sun/DafnyBench
liked
a model
2 months ago
Goedel-LM/Goedel-Prover-SFT
new activity
6 months ago
quinn-dougherty/fvapps:Upload folder using huggingface_hub
Organizations
None yet