Omri Isac

1. Neural Network Verification is a Programming Language Challenge
   2025/01/10 by Lucas C. Cordeiro, Matthew L. Daggitt, Julien Girard-Satabin +8 · 1 voice · 2 citations
   Computer Science · #cs.PL #cs.LG #cs.LO
2. Robustness Assessment of a Runway Object Classifier for Safe Aircraft Taxiing
   2024/01/08 by Yizhak Elboher, Raya Elsaleh, Elboher, Yizhak +15 · 4 citations
   Engineering · #Aerospace and Aviation Technology #Autonomous Vehicle Technology and Safety #Air Traffic Management and Optimization
3. Towards a Certified Proof Checker for Deep Neural Network Verification
   2023/07/12 by Remi Desmartin, Desmartin, Remi, Omri Isac +9 · 2 citations
   Computer Science · #Adversarial Robustness in Machine Learning #Cryptography and Data Security #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG) #Programming Languages (cs.PL) #Security and Verification in Computing
4. Neural Network Verification with Proof Production
   2022/06/01 by Omri Isac, Clark Barrett, Isac, Omri +5 · 2 citations
   Computer Science · Decision Sciences · #Adversarial Robustness in Machine Learning #Explainable Artificial Intelligence (XAI) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG) #Risk and Safety Analysis