TY  - RPRT
TI  - StochBench: A Domain-Specific Benchmark for Stochastic Processes in Lean
AU  - Idan Davidovich
AU  - Debargha Ganguly
AU  - Vikash Singh
AU  - Vipin Chaudhary
PY  - 2026
UR  - https://arxiv.org/abs/2609.09264
ID  - 2609.09264
ER  -