None defined yet.
Benchmark LLMs and agents on real-world data science.
An Automated Statistical Proof Assistant
