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
View all activity

Organizations

None yet