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