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…