Beneficial AI Foundation

non-profit

https://beneficialaifoundation.org

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 15 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

beneficial-ai-foundation 's models

None public yet