Forall R&D

for-all-dev's activity

• All
• Models
• Datasets
• Spaces
• Buckets
• Papers
• Collections
• Community
• Posts
• Articles

quinn-dougherty 

authored a paper 11 days ago

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

Paper • 2606.01008 • Published 27 days ago • 2

quinn-dougherty 

updated a Space 12 days ago

Running

README

⚡

quinn-dougherty 

published a Space 12 days ago

Running

README

⚡

quinn-dougherty 

submitted a paper to Daily Papers 12 days ago

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

Paper • 2606.01008 • Published 27 days ago • 2

quinn-dougherty 

updated 3 datasets 13 days ago

for-all-dev/l4v-eval

Viewer • Updated 13 days ago • 24.4k • 31

for-all-dev/fiat-crypto-eval

Viewer • Updated 13 days ago • 11.1k • 30

for-all-dev/CompCert-eval

Viewer • Updated 13 days ago • 4.19k • 33

quinn-dougherty 

published 3 datasets 13 days ago

for-all-dev/l4v-eval

Viewer • Updated 13 days ago • 24.4k • 31

for-all-dev/fiat-crypto-eval

Viewer • Updated 13 days ago • 11.1k • 30

for-all-dev/CompCert-eval

Viewer • Updated 13 days ago • 4.19k • 33

quinn-dougherty 

authored a paper 8 months ago

A benchmark for vericoding: formally verified program synthesis

Paper • 2509.22908 • Published Sep 26, 2025