Galois Inc

AI & ML interests

None defined yet.

Recent Activity

quinn-dougherty  authored a paper 1 day ago

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

quinn-dougherty  submitted a paper 3 days ago

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

quinn-dougherty  updated a dataset 3 days ago

GaloisInc/fvspec-pbt

View all activity

Papers

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

View all Papers

Team members 3