quinn-dougherty/fvapps
Viewer
•
Updated
•
4.72k
•
24
•
4
Quinn Dougherty
quinn-dougherty
AI & ML interests
None yet
Recent Activity
liked
a dataset
2 months ago
wendy-sun/DafnyBench
liked
a model
3 months ago
Goedel-LM/Goedel-Prover-SFT
new activity
7 months ago
quinn-dougherty/fvapps:Upload folder using huggingface_hub
Organizations
None yet