StochBench

What is StochBench?

A Lean 4 benchmark of 450 graduate stochastic-processes problems at varying abstraction levels, each paired with its natural-language source.

Released

2026-09-08

Evaluates

Language & Knowledge, Mathematics & Formal Science, cs.CL

Openness

unknown

Importer

Claire Radar

Review status

ai-name-audit-deferred

Reported scores

0

Source provenance

• Original evidence https://arxiv.org/abs/2609.09264

StochBench paper

• Paper https://arxiv.org/abs/2609.09264

Which sources cite StochBench?

• StochBench

Related Language & Knowledge, Mathematics & Formal Science, cs.CL benchmarks

• 5-Dialects-BN
• A Large-Scale Dataset and Benchmark
• AARRI-Bench
• ABC-Bench
• ActiveSciBench
• AdaMem-Bench
• AdaPlanBench
• AdvancedMathBench