AINewsnow

StochBench: A Domain-Specific Benchmark for Stochastic Processes in Lean

This story is from 2026-09-10. It is preserved in the archive; the latest stories are on the live feed.

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 applications. We introduce StochBench, a Lean 4 benchmark of 4…

Read the full story at arXiv cs.CL ↗

Timeline · 1 report

  1. 2026-09-10 04:00 · arXiv cs.CL
    StochBench: A Domain-Specific Benchmark for Stochastic Processes in Lean

More stories

  1. Google Joins OpenAI, Anthropic, Meta in Disclosing AI Hacks — Bloomberg AI
  2. Introducing Kimi K3 on Amazon Bedrock — AWS Machine Learning Blog
  3. Introducing Amazon SageMaker HyperPod Inference Gateway — AWS Machine Learning Blog
  4. Introducing Astra for Law — OpenAI News
  5. Newsom signs executive order to explore new AI rules, consider ‘kill switch’ — Politico Technology
  6. Anthropic, OpenAI, SpaceXAI, Google sued over call to ‘pace’ AI development — Politico Technology
  7. Sources: Anthropic considers releasing a new AI model to counter OpenAI's momentum since Astra's launch, ahead of an IPO and after Amodei's call for a slowdown (Reuters) — Techmeme
  8. Gemini Hacked Three Companies in First Known Breakout by Google’s AI — Wall Street Journal Technology

Get the daily brief of stories like this at 6:30 every morning →