Quinn Dougherty

quinn-dougherty

·

https://for-all.dev

AI & ML interests

None yet

Recent Activity

authored a paper 17 days ago

FVSpec: Real-World Property-Based Tests as Lean Challenges

updated a Space 18 days ago

for-all-dev/README

published a Space 18 days ago

for-all-dev/README

View all activity

Organizations

liked a dataset 9 months ago

RoganInglis/control-tax

Viewer • Updated Aug 27, 2025 • 2.37k • 43 • 3

liked a dataset about 1 year ago

wendy-sun/DafnyBench

Viewer • Updated Jun 6, 2024 • 782 • 157 • 7

liked a model about 1 year ago

Goedel-LM/Goedel-Prover-SFT

7B • Updated Apr 18, 2025 • 208 • 31