568 citations · 1.7k across the 49 of their papers we have counts for
50 papers
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…
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…
Bivariate exponential integrals and edge-bicolored graphs
Michael Borinsky, Chiara Meroni, Maximilian Wiesmann
We show that specific exponential bivariate integrals serve as generating functions of labeled edge-bicolored graphs. Based on this, we prove an asymptotic formula for the number o…
The algebraic degree of the Wasserstein distance
Chiara Meroni, Bernhard Reinke, Kexin Wang
Given two rational univariate polynomials, the Wasserstein distance of their associated measures is an algebraic number. We determine the algebraic degree of the squared Wasserstei…
Production and Integration of the ATLAS Insertable B-Layer
B. Abbott, J. Albert, F. Alberti +373
During the shutdown of the CERN Large Hadron Collider in 2013-2014, an additional pixel layer was installed between the existing Pixel detector of the ATLAS experiment and a new, s…
A study of the b-quark fragmentation function with the DELPHI detector at LEP I and an averaged distribution obtained at the Z Pole
DELPHI Collaboration, J. Abdallah
The nature of b-quark jet hadronisation has been investigated using data taken at the Z peak by the DELPHI detector at LEP. Two complementary methods are used to reconstruct the en…