Related papers: CheckMATE 2: From the model to the limit
We present powerful new analysis techniques to constrain effective field theories at the LHC. By leveraging the structure of particle physics processes, we extract extra information from Monte-Carlo simulations, which can be used to train…
Benchmarks are important tools to track progress in the development of Large Language Models (LLMs), yet inaccuracies in datasets and evaluation methods consistently undermine their effectiveness. Here, we present Omni-MATH-2, a manually…
Model checking is a fundamental technique for verifying finite state concurrent systems. Traditionally, model designs were initially created to facilitate the application of model checking. This process, representative of Model Driven…
We present a novel approach that is being developed at DZero for extracting information from data through a direct comparison of all measured variables in an event with a matrix element that describes the entire production process. The…
We review the main software and computing challenges for the Monte Carlo physics event generators used by the LHC experiments, in view of the High-Luminosity LHC (HL-LHC) physics programme. This paper has been prepared by the HEP Software…
The second period of datataking at the Large Hadron Collider (LHC) has provided a large dataset of proton-proton collisions that is unprecedented in terms of its centre-of-mass energy of 13 TeV and integrated luminosity of almost 140…
We present an extended version of THERMINATOR, a Monte Carlo event generator dedicated to studies of the statistical production of particles in relativistic heavy-ion collisions. The increased functionality of the code contains the…
This paper presents Checkmate, a system that enables per-iteration checkpointing in DNN training without any training slowdown. The traditional approach to checkpointing requires a pause in training to copy model states to a separate…
The inert 2-Higgs Doublet Model (i2HDM) is a well-motivated minimal consistent Dark Matter (DM) model, but it is rather challenging to test at the Large Hadron Collider (LHC) in the parameter space allowed by relic density and DM direct…
We formalize the problem of trading-off DNN training time and memory requirements as the tensor rematerialization optimization problem, a generalization of prior checkpointing strategies. We introduce Checkmate, a system that solves for…
Radiation damage significantly impacts the performance of silicon tracking detectors in Large Hadron Collider (LHC) experiments such as ATLAS and CMS, with signal reduction being the most critical effect; adjusting sensor bias voltage and…
A new version of CARLOMAT that allows to generate automatically the Monte Carlo programs dedicated to the description of the processes e+e- -> hadrons at low center-of-mass energies is presented. The program has been substantially modified…
A Monte Carlo event generator is constructed for a two-Higgs-doublet model with maximal CP symmetry, the MCPM. The model contains five physical Higgs bosons; the $\rho'$, behaving similarly to the standard-model Higgs boson, two extra…
In this talk the most recent results obtained by interfacing GoSam with external Monte Carlo event generators are presented and summarized. In the last year the automatic one-loop amplitude generator GoSam has been used for the computation…
The complex two-Higgs doublet model (C2HDM) is one of the simplest extensions of the Standard Model with a source of CP-violation in the scalar sector. It has a $\mathbb{Z}_2$ symmetry, softly broken by a complex coefficient. There are four…
Complex software systems often suffer from silent failures, i.e., violations of the intended semantics that do not cause explicit errors. A promising approach to detect such errors is to use system-specific runtime checkers that monitor the…
While large language models (LLMs) show promise in code generation, existing benchmarks neglect the flowchart-based code generation. To promote further research on flowchart-based code generation, this work presents Flow2Code, a novel…
With the steady increase in the precision of flavour physics measurements collected during LHC Run 2, the LHCb experiment requires simulated data samples of larger and larger sizes to study the detector response in detail. The simulation of…
We present a catalog of sources detected above 50 GeV by the {\it Fermi}-Large Area Telescope (LAT) in 80 months of data. The newly delivered Pass 8 event-level analysis allows the detection and characterization of sources in the 50 GeV--2…
We present a new version 3.2 of the LanHEP software package. New features include UFO output, color sextet particles and new substutution techniques which allow to define new routines.