Hugging Face's logo
Activity Feed Request to join this org

AI & ML interests

None defined yet.

Recent Activity
quinn-dougherty  authored a paper about 1 month ago
FVSpec: Real-World Property-Based Tests as Lean Challenges
quinn-dougherty  submitted a paper about 1 month ago
FVSpec: Real-World Property-Based Tests as Lean Challenges
quinn-dougherty  updated a dataset about 1 month ago
GaloisInc/fvspec-pbt
View all activity

Papers

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

View all Papers
quinn-dougherty 
authored a paper about 1 month ago
quinn-dougherty 
submitted a paper to Daily Papers about 1 month ago
quinn-dougherty 
updated 2 datasets about 1 month ago
quinn-dougherty 
published 2 datasets about 2 months ago
quinn-dougherty 
authored a paper 9 months ago