3 papers
cs.AI2026
From Large Language Model Predicates to Logic Tensor Networks: Neurosymbolic Offer Validation in Regulated Procurement
Cedric Haufe, Frieder Stolzenburg
We present a neurosymbolic approach, i.e. combine symbolic and subsymbolic artificial intelligence, to validating offer documents in regulated public institutions. We employ a lang…
nucl-ex2025
Search for charge nonconservation and Pauli exclusion principle violation with the Majorana Demonstrator
MAJORANA Collaboration, I. J. Arnquist, F. T. Avignone +55
Charge conservation and the Pauli exclusion principle result from fundamental symmetries in the standard model of particle physics, and are typically taken as axiomatic. High-preci…
physics.ins-det2025
The MAJORANA DEMONSTRATOR experiment's construction, commissioning, and performance
N. Abgrall, E. Aguayo, I. J. Arnquist +108
Background: The MAJORANA DEMONSTRATOR , a modular array of isotopically enriched high-purity germanium (HPGe) detectors, was constructed to demonstrate backgrounds low enough to ju…