quinn-dougherty/fvapps
Viewer
•
Updated
•
4.72k
•
27
•
5
Quinn Dougherty
quinn-dougherty
AI & ML interests
None yet
Recent Activity
liked
a dataset
about 12 hours ago
RoganInglis/control-tax
liked
a dataset
4 months ago
wendy-sun/DafnyBench
liked
a model
4 months ago
Goedel-LM/Goedel-Prover-SFT
Organizations
None yet