Related papers: CheckMATE 2: From the model to the limit
Theoretical predictions in high energy physics are routinely provided in the form of Monte Carlo generators. Comparisons of predictions from different programs and/or different initialization set-ups are often necessary. MC-TESTER can be…
The high-luminosity era of the LHC will offer greatly increased number of events for more precise Standard Model measurements and Beyond Standard Model searches, but will also pose unprecedented challenges to the detectors. To meet these…
Model checking of real-time systems has evolved throughout the years. Recently, the model checker Ecdar, using timed I/O automata, was used to perform compositional verification. However, in order to fully integrate model checking of…
Model merging has shown great promise at combining expert models, but the benefit of merging is unclear when merging "generalist" models trained on many tasks. We explore merging in the context of large (~100B) models, by recycling…
In the era of precision physics measurements at the LHC, efficient and exhaustive estimations of theoretical uncertainties play an increasingly crucial role. In the context of Monte Carlo (MC) event generators, the estimation of such…
A new release of the Monte Carlo event generator Herwig++ (version 2.6) is now available. This version comes with a number of improvements including: a new structure for the implementation of next-to-leading order matrix elements; an…
A search for new physics in top quark production with additional final-state leptons is performed using data collected by the CMS experiment in proton-proton collisions at $\sqrt{s}$ = 13 TeV at the LHC during 2016-2018. The data set…
SModelS is an automatised tool enabling the fast interpretation of simplified model results from the LHC within any model of new physics respecting a $\mathbb{Z}_2$ symmetry. With the version 1.2 we announce several new features. First,…
Forecasting weather and climate events is crucial for making appropriate measures to mitigate environmental hazards and minimize losses. However, existing environmental forecasting research focuses narrowly on predicting numerical…
In the digital age, ensuring the correctness, safety, and reliability of software through formal verification is paramount, particularly as software increasingly underpins critical infrastructure. Formal verification, split into theorem…
Monte Carlo event generators are the central interface between theoretical calculations and experimental measurements in collider physics. Over several decades, a comprehensive and highly modular ecosystem of tools has developed around…
Jet energy calibration is an important aspect of many measurements and searches at the LHC. Currently, these calibrations are performed on a per-jet basis, i.e. agnostic to the properties of other jets in the same event. In this work, we…
In this work we compare the current experimental LHC limits of the 2HDM $+$ scalar and pseudoscalar for the $t \bar{t}$, mono-$Z$ and mono-$h$ signatures and forecast the reach of future LHC upgrades for the mono-$Z$ channel. Furthermore,…
As the quality of experimental measurements increases, so does the need for Monte Carlo-generated simulated events - both with respect to the total amount and to their precision. In perturbative methods, this involves the evaluation of…
The flavour-tagging algorithms developed by the ATLAS Collaboration and used to analyse its dataset of $\sqrt s = 13$ TeV $pp$ collisions from Run 2 of the Large Hadron Collider are presented. These new tagging algorithms are based on…
High-Energy Physics experiments are rapidly escalating in generated data volume, a trend that will intensify with the upcoming High-Luminosity LHC upgrade. This surge in data necessitates critical revisions across the data processing…
We introduce a search technique that is sensitive to a broad class of signals with large final state multiplicities. Events are clustered into large radius jets and jet substructure techniques are used to count the number of subjets within…
The LHCb experiment is designed to perform high-precision measurements of CP violation and search for New Physics using the enormous flux involving beauty and charm quarks produced at the LHC. The operation and the results obtained from the…
SModelS is an automatized tool enabling the fast interpretation of simplified model results from the LHC within any model of new physics respecting a $\mathbb{Z}_2$ symmetry. We here present a new version of SModelS that can use the full…
It has already been shown that the energy flow distributions in tagged events disagree with those predicted by QCD models, generating serious systematic errors in the unfolding of the photon structure function $F_{2}^{\gamma}$. This new…