5 papers
Search for higgsinos in compressed mass spectra using low-momentum tracks in collisions at TeV with the ATLAS detector
ATLAS Collaboration
This paper presents two searches for the electroweak production of higgsinos with compressed mass spectra using 140 fb of TeV proton-proton collision data coll…
Vancomycert: A Certified Neuro-Symbolic Drug Delivery System (Case Study)
Alistair Sirman, Fleur Conway, Jessica Ciupa +7
Neural network controllers for autonomous decision-making are well-established in cyber-physical systems, yet their deployment in safety-critical healthcare settings remains largel…
Compositional Neural-Cyber-Physical System Verification in the Interactive Theorem Prover of Your Choice
Matthew L. Daggitt, Ekaterina Komendantskaya, Alistair Sirman +4
Formal verification of neuro-symbolic cyber-physical systems, such as drones, medical devices and robots, is complicated. Neural components must be trained to be optimal with respe…
A Foundation for Differentiable Logics using Dependent Type Theory
Reynald Affeldt, Alessandro Bruni, Ekaterina Komendantskaya +2
Differentiable logics are a family of quantitative logics originated in the machine learning literature. Because of their origin, differentiable logics often come equipped with ana…
Search for Higgs bosons produced in association with a high-energy photon via vector-boson fusion and decaying to a pair of -quarks in the ATLAS detector
ATLAS Collaboration
A search for Standard Model Higgs bosons produced in association with a high-energy photon and decaying to is performed using 133 fb of TeV col…