StochBench: 450 graduate-level stochastic process problems in Lean 4 for theorem proving
Idan Davidovich · hf · 2026-09-10
- StochBench is a new domain-specific benchmark of 450 graduate-level stochastic processes problems, all formalized in Lean 4.
- It targets formal theorem proving in applied mathematics, filling a gap left by benchmarks focused on pure math or competition problems, and probes whether prover models genuinely handle probability and stochastic analysis.
More from Research
- Perturb the Physics, Not the Network: Magnetic Impurities Unlock Hamiltonian Learning — bravo_abad · 2026-09-10
- Vision-force fusion robot dressing handles moving arms: 85% arm coverage across 264 real trials — stepjamUK · 2026-09-10
- The J-lens Explained: Reading and Rewriting LLMs' Unspoken Concepts — CatAstro_Piyush · 2026-09-10
- Group Bench: ~100 group theory problems to benchmark your AI agents, with a dated progress map — Sauers_ · 2026-09-10
- Group Bench launches ~100 group theory problems for testing AI agents — Sauers_ · 2026-09-10
- ELLIS PhD Program Opens 2026 Applications With Cross-Border Co-Supervision — ArthurGretton · 2026-09-10