3 papers
quant-ph2026
Characterization of Radiation-Induced Errors in Superconducting Qubits Protected with Various Gap-Engineering Strategies
H. Douglas Pinckney, Thomas McJunkin, Alan W. Hunt +26
Impacts from high-energy particles cause correlated errors in superconducting qubits by increasing the quasiparticle density in the vicinity of the Josephson junctions (JJs). Such…
cs.LO2025
LeanCat: A Benchmark Suite for Formal Category Theory in Lean (Part I: 1-Categories)
Rongge Xu, Hui Dai, Yiming Fu +5
While large language models (LLMs) have demonstrated impressive capabilities in formal theorem proving, current benchmarks fail to adequately measure library-grounded abstraction -…
hep-ex2025
Characterization of mini-CryoCube detectors from the Ricochet experiment commissioning at the Institut Laue-Langevin
Antoine Armatol, Corinne Augier, Louis Bailly-Salins +83
The Ricochet experiment aims to measure the coherent elastic neutrino-nucleus scattering process from antineutrinos emitted by a research nuclear reactor operated by the Institut L…