cut elimination 1differentiable loss functions 1neuro-symbolic integration 1quantitative linear logic 1soft residuated lattices 1
From the 1 of 6 linked papers with an AI index.
1 citations · 1 across the 2 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2026
Adequate Losses via Quantitative Linear Logic
Matteo Capucci, Robert Atkey, Charles Grellois +2
The paper proposes a family of quantitative linear logics (pQLL) that combine logical specifications with differentiable loss functions for neural components, proving cut‑eliminati…
cs.LO2026
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…