Publications (24)
Duality theory in linear optimization and its extensions -- formally verified
Martin Dvorak, Vladimir Kolmogorov
Massively Winning Configurations in the Convex Grabbing Game on the Plane
Martin Dvorak, Sara Nicholson
Calibration Strategy of the JUNO Experiment
JUNO collaboration, Angel Abusleme, Thomas Adam +588
The Design and Sensitivity of JUNO's scintillator radiopurity pre-detector OSIRIS
JUNO Collaboration, Angel Abusleme, Thomas Adam +598
TAO Conceptual Design Report: A Precision Measurement of the Reactor Antineutrino Spectrum with Sub-percent Energy Resolution
JUNO Collaboration, Angel Abusleme, Thomas Adam +585
Prospects for Detecting the Diffuse Supernova Neutrino Background with JUNO
JUNO Collaboration, Angel Abusleme, Thomas Adam +592
The Equational Theories Project: Advancing Collaborative Mathematical Research at Scale
Matthew Bolan, Joachim Breitner, Jose Brox +31
Composition Direction of Seymour's Theorem for Regular Matroids -- Formally Verified
Martin Dvorak, Tristan Figueroa-Reid, Rida Hamadani +8
JUNO Sensitivity on Proton Decay $p\to \barνK^+$ Searches
JUNO Collaboration, Angel Abusleme, Thomas Adam +602
Pursuit of Truth and Beauty in Lean 4: Formally Verified Theory of Grammars, Optimization, Matroids
Martin Dvorak
JUNO Physics and Detector
JUNO Collaboration, Angel Abusleme, Thomas Adam +607
Radioactivity control strategy for the JUNO detector
JUNO collaboration, Angel Abusleme, Thomas Adam +594
A Blueprint for the Formalization of Seymour's Matroid Decomposition Theorem
Ivan Sergeev, Martin Dvorak, Cameron Rampell +2
First measurement of reactor neutrino oscillations at JUNO
Angel Abusleme, Thomas Adam, Kai Adamowicz +1131
Closure Properties of General Grammars -- Formally Verified
Martin Dvorak, Jasmin Blanchette
Model Independent Approach of the JUNO $^8$B Solar Neutrino Program
JUNO Collaboration, Jie Zhao, Baobiao Yue +593
Damping signatures at JUNO, a medium-baseline reactor neutrino oscillation experiment
JUNO collaboration, Jun Wang, Jiajun Liao +598
Sub-percent Precision Measurement of Neutrino Oscillation Parameters with JUNO
JUNO Collaboration, Angel Abusleme, Thomas Adam +596
JUNO sensitivity to low energy atmospheric neutrino spectra
JUNO Collaboration, Angel Abusleme, Thomas Adam +604
Feasibility and physics potential of detecting $^8$B solar neutrinos at JUNO
JUNO collaboration, Angel Abusleme, Thomas Adam +589
Initial performance results of the JUNO detector
Angel Abusleme, Thomas Adam, Kai Adamowicz +1131
Mass Testing and Characterization of 20-inch PMTs for JUNO
Angel Abusleme, Thomas Adam, Shakeel Ahmad +556
Generalized minimum 0-extension problem and discrete convexity
Martin Dvorak, Vladimir Kolmogorov
JUNO sensitivity to the annihilation of MeV dark matter in the galactic halo
JUNO Collaboration, Angel Abusleme, Thomas Adam +596