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