Beneficial AI Foundation

AI & ML interests

Formal verification agents and synthetic data

Recent Activity

quinn-dougherty  new activity 23 days ago

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

TheodoreEhrenborg  authored a paper 23 days ago

A benchmark for vericoding: formally verified program synthesis

quinn-dougherty  authored a paper 24 days ago

A benchmark for vericoding: formally verified program synthesis

View all activity

Team members 3