Galois Inc

GaloisInc's activity

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

quinn-dougherty 

authored a paper 2 months ago

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

Paper • 2606.01008 • Published May 31 • 2

quinn-dougherty 

submitted a paper to Daily Papers 2 months ago

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

Paper • 2606.01008 • Published May 31 • 2

quinn-dougherty 

updated 2 datasets 2 months ago

GaloisInc/fvspec-pbt

Viewer • Updated Jun 15 • 21.7k • 97

GaloisInc/fvspec-fv

Viewer • Updated Jun 15 • 9.42k • 77

quinn-dougherty 

published 2 datasets 3 months ago

GaloisInc/fvspec-fv

Viewer • Updated Jun 15 • 9.42k • 77

GaloisInc/fvspec-pbt

Viewer • Updated Jun 15 • 21.7k • 97

quinn-dougherty 

authored a paper 10 months ago

A benchmark for vericoding: formally verified program synthesis

Paper • 2509.22908 • Published Sep 26, 2025