#Lean

ByteDance introduces Seed-Prover, a novel lemma-centric system that achieves breakthrough results in automated mathematical theorem proving, solving 5 out of 6 IMO 2025 problems and excelling across multiple benchmarks.

VERINA introduces a holistic benchmark for evaluating LLMs on verifiable code generation, combining code, formal specifications, and proofs across diverse difficulty levels.