athanor-ai/formal-anytime-valid-stats download history

athanor-ai/formal-anytime-valid-stats is a text generation dataset on the Hugging Face Hub. In the last 30 days it was downloaded 13 times (4 in the last 7 days), and 249 times in total. It ranks #491,332 among datasets by monthly downloads.

Formal-AVS: A Lean Benchmark for Anytime-Valid Confidence-Sequence Theorem Proving 60 Lean 4 theorem targets on anytime-valid confidence sequences across four families (Howard-Ramdas, betting, Whitehouse vector, asymptotic CLT). Benchmark Structure 60 targets grouped into tier

Open athanor-ai/formal-anytime-valid-stats on Hugging Face

Sister project: Paper Pulse, the upvote history of every Hugging Face Daily Paper.