Forall R&D

for-all-dev's activity

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

xcthulhu 

updated a dataset 15 days ago

for-all-dev/ablation-eval

Viewer • Updated 15 days ago • 43.4k • 6

xcthulhu 

published a dataset 15 days ago

for-all-dev/ablation-eval

Viewer • Updated 15 days ago • 43.4k • 6

quinn-dougherty 

authored a paper about 2 months ago

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

Paper • 2606.01008 • Published May 31 • 2

quinn-dougherty 

updated a Space about 2 months ago

Running

README

⚡

quinn-dougherty 

published a Space about 2 months ago

Running

README

⚡

quinn-dougherty 

submitted a paper to Daily Papers about 2 months ago

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

Paper • 2606.01008 • Published May 31 • 2

quinn-dougherty 

updated 3 datasets about 2 months ago

for-all-dev/l4v-eval

Viewer • Updated Jun 14 • 24.4k • 33

for-all-dev/fiat-crypto-eval

Viewer • Updated Jun 14 • 11.1k • 11

for-all-dev/CompCert-eval

Viewer • Updated Jun 14 • 4.19k • 23

quinn-dougherty 

published 3 datasets about 2 months ago

for-all-dev/l4v-eval

Viewer • Updated Jun 14 • 24.4k • 33

for-all-dev/fiat-crypto-eval

Viewer • Updated Jun 14 • 11.1k • 11

for-all-dev/CompCert-eval

Viewer • Updated Jun 14 • 4.19k • 23

quinn-dougherty 

authored a paper 10 months ago

A benchmark for vericoding: formally verified program synthesis

Paper • 2509.22908 • Published Sep 26, 2025