IdanDavidovich/StochBench download history

IdanDavidovich/StochBench is a text generation dataset on the Hugging Face Hub. In the last 30 days it was downloaded 539 times (27 in the last 7 days), and 539 times in total. It ranks #31,294 among datasets by monthly downloads.

StochBench Paper: StochBench: A Domain-Specific Benchmark for Stochastic Processes in Lean StochBench is a Lean 4 benchmark of 450 graduate stochastic-process problems, each paired with its natural-language statement. It evaluates proof agents on graduate stochastic processes. Topics

Open IdanDavidovich/StochBench on Hugging Face

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