Abstract Interpretation of Fixpoint Iterators with Applications to Neural Networks

14 October 2021

Martin Vechev

Papers citing "Abstract Interpretation of Fixpoint Iterators with Applications to Neural Networks"

2 / 2 papers shown

Title
Learning from Uncertain Data: From Possible Worlds to Possible Models Jiongli Zhu Su Feng Boris Glavic Babak Salimi 37 0 0 28 May 2024
Sound and Complete Neural Network Repair with Minimality and Locality Guarantees Feisi Fu Wenchao Li KELM AAML 41 26 0 14 Oct 2021