Quinn Dougherty
quinn-dougherty
AI & ML interests
None yet
Recent Activity
authored a paper 11 days ago
FVSpec: Real-World Property-Based Tests as Lean Challenges updated a Space 12 days ago
for-all-dev/README published a Space 12 days ago
for-all-dev/READMEOrganizations
