Beneficial AI Foundation

AI & ML interests

Formal verification agents and synthetic data

Recent Activity

quinn-dougherty  authored a paper 14 days ago

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

quinn-dougherty  submitted a paper 14 days ago

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

quinn-dougherty  new activity 8 months ago

beneficial-ai-foundation/vericoding:Upload folder using huggingface_hub

View all activity

Team members 3