StochBench: A Domain-Specific Benchmark for Stochastic Processes in Lean
StochBench is introduced, a Lean 4 benchmark of 450 graduate stochastic-processes problems at varying abstraction levels, each paired with its natural-language source that better represents domain-specific applied mathematics while remaining challenging for advanced provers.
Idan Davidovich, Debargha Ganguly, Vikash Singh et al.
· 0 citations