@misc{indiciaea118011c7c00,
  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},
  url = {https://arxiv.org/abs/2609.09264},
  note = {Source identifier: 2609.09264}
}