3 citations · 3 across the 1 of their papers we have counts for
3 papers
Vehicle: Interfacing Neural Network Verifiers with Interactive Theorem Provers
Matthew L. Daggitt, Wen Kokke, Robert Atkey +2
Verification of neural networks is currently a hot topic in automated theorem proving. Progress has been rapid and there are now a wide range of tools available that can verify pro…
Actions You Can Handle: Dependent Types for AI Plans
Alasdair Hill, Ekaterina Komendantskaya, Matthew L. Daggitt +1
Verification of AI is a challenge that has engineering, algorithmic and programming language components. For example, AI planners are deployed to model actions of autonomous agents…
Dynamic Asynchronous Iterations
Matthew L. Daggitt, Timothy G. Griffin
Many problems can be solved by iteration by multiple participants (processors, servers, routers etc.). Previous mathematical models for such asynchronous iterations assume a single…