@article{stochbenchadomainspecificbenchmarkforsto,
  title = {StochBench: A Domain-Specific Benchmark for Stochastic Processes in Lean},
  author = {Idan Davidovich and Debargha Ganguly and Vikash Singh and Vipin Chaudhary},
  year = {2026},
  eprint = {2609.09264},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2609.09264},
}