FoMLAS 2022
VPN: Verification of Poisoning in Neural Networks
A Cascade of Checkers for Run-time Certification of Local Robustness
CEG4N: Counter-Example Guided Neural Network Quantization Refinement
Minimal Multi-Layer Modifications of Deep Neural Networks
Differentiable Logics for Neural Network Training and Verification
Neural Networks in Imandra: Matrix Representation as a Verification Choice
Self-Correcting Neural Networks For Safe Classification
Self-Correcting Neural Networks For Safe Classification
NSV 2022
Verified Numerical Methods for Ordinary Differential Equations
Neural Network Precision Tuning Using Stochastic Arithmetic
MLTL Multi-type (MLTLM): A Logic for Reasoning about Signals of Different Types.