Topic: stochastic processes

StochBench is a new Lean 4 benchmark for formal theorem proving with large language models, focusing on stochastic processes to better represent field-specific applications rather than competition math problems. This benchmark aims to improve the evaluation and application of these models in specific domains.

arxiv.org↗