Forall R&D

for-all-dev's activity

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

xcthulhu 

updated a dataset 2 months ago

for-all-dev/ablation-eval

Viewer • Updated Jul 27 • 43.4k • 33

xcthulhu 

published a dataset 2 months ago

for-all-dev/ablation-eval

Viewer • Updated Jul 27 • 43.4k • 33

quinn-dougherty 

authored a paper 3 months ago

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

Paper • 2606.01008 • Published May 31 • 2

quinn-dougherty 

updated a Space 4 months ago

Running

README

⚡

quinn-dougherty 

published a Space 4 months ago

Running

README

⚡

quinn-dougherty 

submitted a paper to Daily Papers 4 months ago

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

Paper • 2606.01008 • Published May 31 • 2

quinn-dougherty 

updated 3 datasets 4 months ago

for-all-dev/l4v-eval

Viewer • Updated Jun 14 • 24.4k • 22

for-all-dev/fiat-crypto-eval

Viewer • Updated Jun 14 • 11.1k • 27

for-all-dev/CompCert-eval

Viewer • Updated Jun 14 • 4.19k • 46

quinn-dougherty 

published 3 datasets 4 months ago

for-all-dev/l4v-eval

Viewer • Updated Jun 14 • 24.4k • 22

for-all-dev/fiat-crypto-eval

Viewer • Updated Jun 14 • 11.1k • 27

for-all-dev/CompCert-eval

Viewer • Updated Jun 14 • 4.19k • 46

quinn-dougherty 

authored a paper 11 months ago

A benchmark for vericoding: formally verified program synthesis

Paper • 2509.22908 • Published Sep 26, 2025