LLMs1 min read
StochBench: A Domain-Specific Benchmark for Stochastic Processes in Lean
arXiv:2609.09264v1 Announce Type: new Abstract: Leading benchmarks for formal theorem proving with large language models are small collections drawn from competition math, such as the IMO and Putnam, that poorly represent field-specific ...
From arXiv cs.CL