Related papers: Event-Generator Validation with MCPLOTS and LHC@ho…

As the LHC moves to higher energies and luminosity, the demand for computing resources increases accordingly and will soon outpace the growth of the Worldwide LHC Computing Grid. To meet this greater demand, event generation Monte Carlo was…

We present GSM-MC, a multiple-choice (MC) dataset constructed by collecting answers and incorrect predictions on GSM8K from 60 open-source models. Through extensive experiments, we show that LLMs' performance on the MC version of this…

Monte Carlo simulations play a crucial role in all stages of particle collider experiments. There has been a long-term trend in HEP of both increasing collision energies and the luminosity. As a result, the requirements for MC simulations…

We present CoqPilot, a VS Code extension designed to help automate writing of Coq proofs. The plugin collects the parts of proofs marked with the admit tactic in a Coq file, i.e., proof holes, and combines LLMs along with…

Madgraph5_aMC@NLO is one of the most-frequently used Monte-Carlo event generators at the LHC, and an important consumer of compute resources. The software has been reengineered to maintain the overall look and feel of the user interface…

This is the user's manual of MC@NLO 4.0. This package is a practical implementation, based upon the Fortran HERWIG and Herwig++ event generators, of the MC@NLO formalism, which allows one to incorporate NLO QCD matrix elements consistently…

We present a multi-relational temporal Knowledge Graph based on the daily interactions between artifacts in GitHub, one of the largest social coding platforms. Such representation enables posing many user-activity and project management…

LHC physics crucially relies on our ability to simulate events efficiently from first principles. Modern machine learning, specifically generative networks, will help us tackle simulation challenges for the coming LHC runs. Such networks…

Efficient generation of LHC events is hindered by the rapidly rising cost of evaluating QCD matrix elements with increasing multiplicity. We build on a recently proposed two-step strategy in which unweighted events are first generated using…

This is the user's manual of MC@NLO 3.1. This package is a practical implementation, based upon the HERWIG event generator, of the MC@NLO formalism, which allows one to incorporate NLO QCD matrix elements consistently into a parton shower…

In QuickCheck (or, more generally, random testing), it is challenging to control random data generators' distributions---specially when it comes to user-defined algebraic data types (ADT). In this paper, we adapt results from an area of…

This is the user's manual of MC@NLO 2.3. This package is a practical implementation, based upon the HERWIG event generator, of the MC@NLO formalism, which allows one to incorporate NLO QCD matrix elements consistently into a parton shower…

Recently the collider physics community has seen significant advances in the formalisms and implementations of event generators. This review is a primer of the methods commonly used for the simulation of high energy physics events at…

We present the latest developments of the MadGraph/MadEvent Monte Carlo event generator and several applications to hadron collider physics. In the current version events at the parton, hadron and detector level can be generated directly…

LLM-based agents have demonstrated great potential in generating and managing code within complex codebases. In this paper, we introduce WebGen-Bench, a novel benchmark designed to measure an LLM-based agent's ability to create multi-file…

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…

Sherpa is a general-purpose Monte Carlo event generator for the simulation of particle collisions in high-energy collider experiments. We summarize essential features and improvements of the Sherpa 2.2 release series, which is heavily used…

First released in 2010, the Rivet library forms an important repository for analysis code, facilitating comparisons between measurements of the final state in particle collisions and theoretical calculations of those final states. We give…

This is the user's manual of MC@NLO 3.4. This package is a practical implementation, based upon the HERWIG event generator, of the MC@NLO formalism, which allows one to incorporate NLO QCD matrix elements consistently into a parton shower…

LLMs have been extensively used for the task of automated code generation. In this work, we examine the applicability of LLMs for the related but relatively unexplored task of code-equivalence checking, i.e., given two programs, whether…