Galois Inc

AI & ML interests

None defined yet.

Recent Activity

quinn-dougherty  submitted a paper about 19 hours ago

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

quinn-dougherty  updated a dataset about 19 hours ago

GaloisInc/fvspec-pbt

quinn-dougherty  updated a dataset about 19 hours ago

GaloisInc/fvspec-fv

View all activity

Papers

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

View all Papers

Team members 3