StatProver — Agentic Statistical Proof Assistant

We are excited to announce the release of StatProver, a brand new agentic statistical proof assistant. StatProver helps users clarify the problem, find references, outline skeleton steps, and write the proof. Learn more at https://statprover.com.