Matthew L Daggitt

Postdoc, Heriot-Watt University

Joined

September 2021

Names

Matthew L Daggitt (Preferred)

,

Matthew L. Daggitt

Emails

****@gmail.com (Confirmed)

Personal Links

Career & Education History

Postdoc

Heriot-Watt University (hw.ac.uk)

Present

Advisors, Relations & Conflicts

PhD Advisor

Tim Griffin

Present

Postdoc Advisor

Ekaterina Komendantskaya

Present

Expertise

Formal verification

,

neural networks

Present

Formal verification

,

proof assistants

Present

Routing protocol theory

Present

Publications

ANTONIO: Towards a Systematic Method of Generating NLP Benchmarks for Verification
Marco Casadio, Luca Arnaboldi, Matthew L. Daggitt, Omri Isac, Tanvi Dinkar, Daniel Kienitz, Verena Rieser, Ekaterina Komendantskaya
- Published: 01 Jan 2023, Last Modified: 14 May 2023
- CoRR 2023
- Readers: Everyone
Compiling Higher-Order Specifications to SMT Solvers: How to Deal with Rejection Constructively
Matthew L. Daggitt, Robert Atkey, Wen Kokke, Ekaterina Komendantskaya, Luca Arnaboldi
- Published: 01 Jan 2023, Last Modified: 17 May 2023
- CPP 2023
- Readers: Everyone
Logic of Differentiable Logics: Towards a Uniform Semantics of DL
Natalia Slusarz, Ekaterina Komendantskaya, Matthew L. Daggitt, Robert J. Stewart, Kathrin Stark
- Published: 01 Jan 2023, Last Modified: 17 May 2023
- CoRR 2023
- Readers: Everyone
Neural Network Robustness as a Verification Property: A Principled Case Study
Marco Casadio, Ekaterina Komendantskaya, Matthew L. Daggitt, Wen Kokke, Guy Katz, Guy Amir, Idan Refaeli
- Published: 01 Jan 2022, Last Modified: 12 May 2023
- CAV (1) 2022
- Readers: Everyone
Why Robust Natural Language Understanding is a Challenge
Marco Casadio, Ekaterina Komendantskaya, Verena Rieser, Matthew L. Daggitt, Daniel Kienitz, Luca Arnaboldi, Wen Kokke
- Published: 01 Jan 2022, Last Modified: 14 May 2023
- CoRR 2022
- Readers: Everyone
Vehicle: Interfacing Neural Network Verifiers with Interactive Theorem Provers
Matthew L. Daggitt, Wen Kokke, Robert Atkey, Luca Arnaboldi, Ekaterina Komendantskaya
- Published: 01 Jan 2022, Last Modified: 17 May 2023
- CoRR 2022
- Readers: Everyone
Differentiable Logics for Neural Network Training and Verification
Natalia Slusarz, Ekaterina Komendantskaya, Matthew L. Daggitt, Robert J. Stewart
- Published: 01 Jan 2022, Last Modified: 17 May 2023
- NSV/FoMLAS@CAV 2022
- Readers: Everyone
Differentiable Logics for Neural Network Training and Verification
Natalia Slusarz, Ekaterina Komendantskaya, Matthew L. Daggitt, Robert J. Stewart
- Published: 01 Jan 2022, Last Modified: 17 May 2023
- CoRR 2022
- Readers: Everyone
CheckINN: Wide Range Neural Network Verification in Imandra (Extended)
Remi Desmartin, Grant O. Passmore, Ekaterina Komendantskaya, Matthew L. Daggitt
- Published: 01 Jan 2022, Last Modified: 17 May 2023
- CoRR 2022
- Readers: Everyone
A new approach to SHRIMP II zircon U-Th disequilibrium dating
Ruby C. Marsden, Christopher L. Kirkland, Martin Danisík, Matthew L. Daggitt, Ung-San Ahn, Bjarne Friedrichs, Noreen J. Evans
- Published: 01 Jan 2022, Last Modified: 18 May 2023
- Comput. Geosci. 2022
- Readers: Everyone

View all 22 publications

Co-Authors

View all 33 co-authors