3 papers
cs.FL2026
Passive Learning of Lattice Automata from Recurrent Neural Networks
Jaouhar Slimi, Tristan Le Gall, Augustin Lemesle
We present a passive automata learning algorithm that can extract automata from recurrent networks with very large or even infinite alphabets. Our method combines overapproximation…
cs.AI2025
Neural Network Verification with PyRAT
Augustin Lemesle, Julien Lehmann, Tristan Le Gall
As AI systems are becoming more and more popular and used in various critical domains (health, transport, energy, ...), the need to provide guarantees and trust of their safety is…
cs.PL2025
Neural Network Verification is a Programming Language Challenge
Lucas C. Cordeiro, Matthew L. Daggitt, Julien Girard-Satabin +8
Neural network verification is a new and rapidly developing field of research. So far, the main priority has been establishing efficient verification algorithms and tools, while pr…