70 citations · 268 across the 15 of their papers we have counts for
16 papers
Pursuit of Truth and Beauty in Lean 4: Formally Verified Theory of Grammars, Optimization, Matroids
Martin Dvorak
This thesis documents a voyage towards truth and beauty via formal verification of theorems. To this end, we develop libraries in Lean 4 that present definitions and results from d…
First measurement of reactor neutrino oscillations at JUNO
Angel Abusleme, Thomas Adam, Kai Adamowicz +1131
Neutrino oscillations, a quantum effect manifesting at macroscopic scales, are governed by lepton flavor mixing angles and neutrino mass-squared differences that are fundamental pa…
Initial performance results of the JUNO detector
Angel Abusleme, Thomas Adam, Kai Adamowicz +1131
The Jiangmen Underground Neutrino Observatory (JUNO) started physics data taking on 26 August 2025. JUNO consists of a 20-kton liquid scintillator central detector, surrounded by a…
JUNO sensitivity to the annihilation of MeV dark matter in the galactic halo
JUNO Collaboration, Angel Abusleme, Thomas Adam +596
We discuss JUNO sensitivity to the annihilation of MeV dark matter in the galactic halo via detecting inverse beta decay reactions of electron anti-neutrinos resulting from the ann…
JUNO Sensitivity on Proton Decay Searches
JUNO Collaboration, Angel Abusleme, Thomas Adam +602
The Jiangmen Underground Neutrino Observatory (JUNO) is a large liquid scintillator detector designed to explore many topics in fundamental physics. In this paper, the potential on…
Model Independent Approach of the JUNO B Solar Neutrino Program
JUNO Collaboration, Jie Zhao, Baobiao Yue +593
The physics potential of detecting B solar neutrinos will be exploited at the Jiangmen Underground Neutrino Observatory (JUNO), in a model independent manner by using three dis…