6 citations · 26 across the 15 of their papers we have counts for
3 papers · 1 filter
Adequate Losses via Quantitative Linear Logic
Matteo Capucci, Robert Atkey, Charles Grellois +2
As neural components are increasingly embedded in existing symbolic software -- including safety-critical systems -- the question arises of how to specify and enforce the safety of…
Compiling High-Level Neural Network Specifications into VNN-LIB Queries
Matthew L. Daggitt, Wen Kokke, Robert Atkey
The formal verification of traditional software has been revolutionised by verification-orientated languages such as Dafny and F* which enable developers to write high-level specif…
Logic of Differentiable Logics: Towards a Uniform Semantics of DL
Natalia Ślusarz, Ekaterina Komendantskaya, Matthew L. Daggitt +2
Differentiable logics (DL) have recently been proposed as a method of training neural networks to satisfy logical specifications. A DL consists of a syntax in which specifications…