42 citations · 125 across the 15 of their papers we have counts for
16 papers
ArchAgent v2: A Case Study with the Data Prefetching Championship
Abraham Gonzalez, Raghav Gupta, Akanksha Jain +12
Agentic artificial intelligence has shown great promise in automating algorithm design, but scaling similar techniques to computer microarchitecture discovery remains challenging d…
Advancing Mathematics Research with AI-Driven Formal Proof Search
George Tsoukalas, Anton Kovsharov, Sergey Shirobokov +18
Large language models (LLMs) increasingly excel at mathematical reasoning, but their unreliability limits their utility in mathematics research. A mitigation is using LLMs to gener…
An Improved Last-Iterate Convergence Rate for Anchored Gradient Descent Ascent
Anja Surina, Arun Suggala, George Tsoukalas +5
We analyze the last-iterate convergence of the Anchored Gradient Descent Ascent algorithm for smooth convex-concave min-max problems. While previous work established a last-iterate…
ArchAgent: Agentic AI-driven Computer Architecture Discovery
Raghav Gupta, Akanksha Jain, Abraham Gonzalez +10
Agile hardware design flows are a critically needed force multiplier to meet the exploding demand for compute. Recently, agentic generative AI systems have demonstrated significant…
Quantum computation of molecular geometry via many-body nuclear spin echoes
C. Zhang, R. G. Cortiñas, A. H. Karamlou +320
Quantum-information-inspired experiments in nuclear magnetic resonance spectroscopy may yield a pathway towards determining molecular structure and properties that are otherwise ch…
AlphaEvolve: A coding agent for scientific and algorithmic discovery
Alexander Novikov, Ngân Vũ, Marvin Eisenberger +15
In this white paper, we present AlphaEvolve, an evolutionary coding agent that substantially enhances capabilities of state-of-the-art LLMs on highly challenging tasks such as tack…
Reconstruction of 400 GeV/c proton interactions with the SHiP-charm project
SHiP Collaboration
The SHiP-charm project was proposed to measure the associated charm production induced by 400 GeV/c protons in a thick target, including the contribution from cascade production. A…
SND@LHC: The Scattering and Neutrino Detector at the LHC
LHC Collaboration
SND@LHC is a compact and stand-alone experiment designed to perform measurements with neutrinos produced at the LHC in the pseudo-rapidity region of . The experimen…
Graph Neural Networks for Link Prediction with Subgraph Sketching
Benjamin Paul Chamberlain, Sergey Shirobokov, Emanuele Rossi +5
Many Graph Neural Networks (GNNs) perform poorly compared to simple heuristics on Link Prediction (LP) tasks. This is due to limitations in expressive power such as the inability t…
Track reconstruction and matching between emulsion and silicon pixel detectors for the SHiP-charm experiment
SHiP Collaboration
In July 2018 an optimization run for the proposed charm cross section measurement for SHiP was performed at the CERN SPS. A heavy, moving target instrumented with nuclear emulsion…
The SHiP experiment at the proposed CERN SPS Beam Dump Facility
SHIP Collaboration
The Search for Hidden Particles (SHiP) Collaboration has proposed a general-purpose experimental facility operating in beam-dump mode at the CERN SPS accelerator to search for ligh…
Sensitivity of the SHiP experiment to dark photons decaying to a pair of charged particles
SHiP Collaboration, C. Ahdida, A. Akmete +331
Dark photons are hypothetical massive vector particles that could mix with ordinary photons. The simplest theoretical model is fully characterised by only two parameters: the mass…
SND@LHC
SHiP Collaboration, C. Ahdida, A. Akmete +341
We propose to build and operate a detector that, for the first time, will measure the process at the LHC and search for feebly interacting particles (FIPs) in an unexplor…
Black-Box Optimization with Local Generative Surrogates
Sergey Shirobokov, Vladislav Belavin, Michael Kagan +2
We propose a novel method for gradient-based optimization of black-box simulators using differentiable local surrogate models. In fields such as physics and engineering, many proce…
Measurement of the muon flux for the SHiP experiment
SHiP Collaboration
The SHiP experiment will search for very weakly interacting particles beyond the Standard Model which are produced in a 400 \GeV/ proton beam dump at the CERN SPS. About $10^{11…
Sensitivity of the SHiP experiment to Heavy Neutral Leptons
SHiP Collaboration
Heavy Neutral Leptons (HNLs) are hypothetical particles predicted by many extensions of the Standard Model. These particles can, among other things, explain the origin of neutrino…