Levy, Natan

1. RoMA: a Method for Neural Network Robustness Measurement and Assessment
   2021/10/21 by Levy, Natan, Katz, Guy · 1 citation
   #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Machine Learning (cs.LG)
2. DEM: A Method for Certifying Deep Neural Network Classifier Outputs in Aerospace
   2024/01/04 by Guy Katz, Natan Levy, Katz, Guy +5 · 1 citation
   Computer Science · Engineering · #Adversarial Robustness in Machine Learning #Software Reliability and Analysis Research #Safety Systems Engineering in Autonomy
3. Statistical Runtime Verification for LLMs via Robustness Estimation
   2025/04/24 by Levy, Natan, Ashrov, Adiel, Katz, Guy · 1 citation
   #FOS: Computer and information sciences #Machine Learning (cs.LG)