arxiv:2502.05714
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