Matthew L. Daggitt

38 papers A* 1A 1B 5C 1Journal 22Unranked 7
YearRankTypeTitle / Venue / Authors
2025 A conf
Advanced Privacy Protection in Federated Learning using Server-initiated Homomorphic Encryption.
CIKM
Cameron Lee, Matthew L. Daggitt, Yansong Gao, Jin B. Hong
2025 — conf
Neural Network Verification is a Programming Language Challenge.
ESOP (1)
Lucas C. Cordeiro, Matthew L. Daggitt, Julien Girard-Satabin, Omri Isac, Taylor T. Johnson, Guy Katz, Ekaterina Komendantskaya, Augustin Lemesle, Edoardo Manino, Artjoms Sinkarovs, Haoze Wu
2025 J jnl
Neural Network Verification is a Programming Language Challenge.
CoRR
Lucas C. Cordeiro, Matthew L. Daggitt, Julien Girard-Satabin, Omri Isac, Taylor T. Johnson, Guy Katz, Ekaterina Komendantskaya, Augustin Lemesle, Edoardo Manino, Artjoms Sinkarovs, Haoze Wu
2025 J jnl
The Agda standard library: version 2.0.
J. Open Source Softw.
Matthew L. Daggitt, Guillaume Allais, James McKinna, Andreas Abel, Van Doorn, Nathan, James Wood, Ulf Norell, Donnacha Oisín Kidney, Sergei Meshveliani, Sandro Stucki, Jacques Carette, Alex Rice, Jason Z. S. Hu, Li-yao Xia, Shu-Hung You, Reed Mullanix, Wen Kokke
2025 B conf
Vehicle: Bridging the Embedding Gap in the Verification of Neuro-Symbolic Programs (Invited Talk).
FSCD
Matthew L. Daggitt, Wen Kokke, Robert Atkey, Ekaterina Komendantskaya, Natalia Slusarz, Luca Arnaboldi
2024 J jnl
Efficient compilation of expressive problem space specifications to neural network solvers.
CoRR
Matthew L. Daggitt, Wen Kokke, Robert Atkey
2024 J jnl
Formally Verified Convergence of Policy-Rich DBF Routing Protocols.
IEEE/ACM Trans. Netw.
Matthew L. Daggitt, Timothy G. Griffin
2024 — conf
Marabou 2.0: A Versatile Formal Analyzer of Neural Networks.
CAV (2)
Haoze Wu, Omri Isac, Aleksandar Zeljic, Teruhiro Tagomori, Matthew L. Daggitt, Wen Kokke, Idan Refaeli, Guy Amir, Kyle Julian, Shahaf Bassan, Pei Huang, Ori Lahav, Min Wu, Min Zhang, Ekaterina Komendantskaya, Guy Katz, Clark W. Barrett
2024 J jnl
Marabou 2.0: A Versatile Formal Analyzer of Neural Networks.
CoRR
Haoze Wu, Omri Isac, Aleksandar Zeljic, Teruhiro Tagomori, Matthew L. Daggitt, Wen Kokke, Idan Refaeli, Guy Amir, Kyle Julian, Shahaf Bassan, Pei Huang, Ori Lahav, Min Wu, Min Zhang, Ekaterina Komendantskaya, Guy Katz, Clark W. Barrett
2024 J jnl
NLP Verification: Towards a General Methodology for Certifying Robustness.
CoRR
Marco Casadio, Tanvi Dinkar, Ekaterina Komendantskaya, Luca Arnaboldi, Omri Isac, Matthew L. Daggitt, Guy Katz, Verena Rieser, Oliver Lemon
2024 J jnl
Vehicle: Bridging the Embedding Gap in the Verification of Neuro-Symbolic Programs.
CoRR
Matthew L. Daggitt, Wen Kokke, Robert Atkey, Natalia Slusarz, Luca Arnaboldi, Ekaterina Komendantskaya
2023 — conf
ANTONIO: Towards a Systematic Method of Generating NLP Benchmarks for Verification.
FoMLAS@CAV
Marco Casadio, Luca Arnaboldi, Matthew L. Daggitt, Omri Isac, Tanvi Dinkar, Daniel Kienitz, Verena Rieser, Ekaterina Komendantskaya
2023 J jnl
ANTONIO: Towards a Systematic Method of Generating NLP Benchmarks for Verification.
CoRR
Marco Casadio, Luca Arnaboldi, Matthew L. Daggitt, Omri Isac, Tanvi Dinkar, Daniel Kienitz, Verena Rieser, Ekaterina Komendantskaya
2023 B conf
Compiling Higher-Order Specifications to SMT Solvers: How to Deal with Rejection Constructively.
CPP
Matthew L. Daggitt, Robert Atkey, Wen Kokke, Ekaterina Komendantskaya, Luca Arnaboldi
2023 B conf
Logic of Differentiable Logics: Towards a Uniform Semantics of DL.
LPAR
Natalia Slusarz, Ekaterina Komendantskaya, Matthew L. Daggitt, Robert J. Stewart, Kathrin Stark
2023 J jnl
Logic of Differentiable Logics: Towards a Uniform Semantics of DL.
CoRR
Natalia Slusarz, Ekaterina Komendantskaya, Matthew L. Daggitt, Robert J. Stewart, Kathrin Stark
2023 — conf
The Vehicle Tutorial: Neural Network Verification with Vehicle.
FoMLAS@CAV
Matthew L. Daggitt, Wen Kokke, Ekaterina Komendantskaya, Robert Atkey, Luca Arnaboldi, Natalia Slusarz, Marco Casadio, Ben Coke, Jeonghyeon Lee
2022 J jnl
A new approach to SHRIMP II zircon U-Th disequilibrium dating.
Comput. Geosci.
Ruby C. Marsden, Christopher L. Kirkland, Martin Danisík, Matthew L. Daggitt, Ung-San Ahn, Bjarne Friedrichs, Noreen J. Evans
2022 J jnl
AnalyZr: A Python application for zircon grain image segmentation and shape analysis.
Comput. Geosci.
Taryn Scharf, Christopher L. Kirkland, Matthew L. Daggitt, Milo Barham, Vladimir Puzyrev
2022 J jnl
CheckINN: Wide Range Neural Network Verification in Imandra (Extended).
CoRR
Remi Desmartin, Grant O. Passmore, Ekaterina Komendantskaya, Matthew L. Daggitt
2022 C conf
CheckINN: Wide Range Neural Network Verification in Imandra.
PPDP
Remi Desmartin, Grant O. Passmore, Ekaterina Komendantskaya, Matthew L. Daggitt
2022 — conf
Differentiable Logics for Neural Network Training and Verification.
NSV/FoMLAS@CAV
Natalia Slusarz, Ekaterina Komendantskaya, Matthew L. Daggitt, Robert J. Stewart
2022 J jnl
Differentiable Logics for Neural Network Training and Verification.
CoRR
Natalia Slusarz, Ekaterina Komendantskaya, Matthew L. Daggitt, Robert J. Stewart
2022 J jnl
Dynamic asynchronous iterations.
J. Parallel Distributed Comput.
Matthew L. Daggitt, Timothy G. Griffin
2022 — conf
Neural Network Robustness as a Verification Property: A Principled Case Study.
CAV (1)
Marco Casadio, Ekaterina Komendantskaya, Matthew L. Daggitt, Wen Kokke, Guy Katz, Guy Amir, Idan Refaeli
2022 J jnl
Vehicle: Interfacing Neural Network Verifiers with Interactive Theorem Provers.
CoRR
Matthew L. Daggitt, Wen Kokke, Robert Atkey, Luca Arnaboldi, Ekaterina Komendantskaya
2022 J jnl
Why Robust Natural Language Understanding is a Challenge.
CoRR
Marco Casadio, Ekaterina Komendantskaya, Verena Rieser, Matthew L. Daggitt, Daniel Kienitz, Luca Arnaboldi, Wen Kokke
2021 J jnl
Actions You Can Handle: Dependent Types for AI Plans.
CoRR
Alasdair Hill, Ekaterina Komendantskaya, Matthew L. Daggitt, Ronald P. A. Petrick
2021 — conf
Actions you can handle: dependent types for AI plans.
TyDe@ICFP
Alasdair Hill, Ekaterina Komendantskaya, Matthew L. Daggitt, Ronald P. A. Petrick
2021 J jnl
Formally Verified Convergence of Policy-Rich DBF Routing Protocols.
CoRR
Matthew L. Daggitt, Timothy G. Griffin
2021 J jnl
Property-driven Training: All You (N)Ever Wanted to Know About.
CoRR
Marco Casadio, Matthew L. Daggitt, Ekaterina Komendantskaya, Wen Kokke, Daniel Kienitz, Rob Stewart
2020 J jnl
A Relaxation of Üresin and Dubois' Asynchronous Fixed-Point Theory in Agda.
J. Autom. Reason.
Matthew L. Daggitt, Ran Zmigrod, Timothy G. Griffin
2020 J jnl
Dynamic Asynchronous Iterations.
CoRR
Matthew L. Daggitt, Timothy G. Griffin
2019 — —
An algebraic perspective on the convergence of vector-based routing protocols
Matthew L. Daggitt
2018 B conf
An Agda Formalization of Üresin and Dubois' Asynchronous Fixed-Point Theory.
ITP
Ran Zmigrod, Matthew L. Daggitt, Timothy G. Griffin
2018 A* conf
Asynchronous convergence of policy-rich distributed bellman-ford routing protocols.
SIGCOMM
Matthew L. Daggitt, Alexander J. T. Gurney, Timothy G. Griffin
2018 B conf
Rate of Convergence of Increasing Path-Vector Routing Protocols.
ICNP
Matthew L. Daggitt, Timothy G. Griffin
2015 J jnl
Tracking Urban Activity Growth Globally with Big Location Data.
CoRR
Matthew L. Daggitt, Anastasios Noulas, Blake Shaw, Cecilia Mascolo