Matthew L. Daggitt

1. Neural Network Robustness as a Verification Property: A Principled Case Study
   2021/04/03 by Marco Casadio, Ekaterina Komendantskaya, Casadio, Marco +11 · 6 citations
   Computer Science · Engineering · #Adversarial Robustness in Machine Learning #Anomaly Detection Techniques and Applications #Fault Detection and Control Systems
2. Neural Network Verification is a Programming Language Challenge
   2025/01/10 by Lucas C. Cordeiro, Matthew L. Daggitt, Julien Girard-Satabin +8 · 1 voice · 2 citations
   Computer Science · #cs.PL #cs.LG #cs.LO
3. Logic of Differentiable Logics: Towards a Uniform Semantics of DL
   2023/03/19 by Natalia Ślusarz, Ekaterina Komendantskaya, Ślusarz, Natalia +7 · 1 citation
   Computer Science · #Artificial Intelligence (cs.AI) #Explainable Artificial Intelligence (XAI) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG) #Neural Networks and Applications
4. A one-billion-year-old Scottish meteorite impact
   2025/04/28 by Christopher L. Kirkland, Timmons M. Erickson, Tim Johnson +10 · 1 voice · 1 citation
   Earth and Planetary Sciences · Physics and Astronomy · #Astro and Planetary Science #Geology and Paleoclimatology Research #Planetary Science and Exploration