2 papers
cs.CL2026
IMProofBench: Benchmarking AI on Research-Level Mathematical Proof Generation
Johannes Schmitt, Gergely Bérczi, Jasper Dekoninck +57
As the mathematical capabilities of large language models (LLMs) improve, it becomes increasingly important to evaluate their performance on research-level tasks at the frontier of…
hep-ex2025
ECFA Higgs, electroweak, and top Factory Study
H. Abidi, J. A. Aguilar-Saavedra, S. Airen +373
The ECFA Higgs, electroweak, and top Factory Study ran between 2021 and 2025 as a broad effort across the experimental and theoretical particle physics communities, bringing togeth…