2 citations · 4 across the 8 of their papers we have counts for
8 papers
Toward Continuous Assurance for the Democratization of AI Agent Creation in Industry
Natan Levy, Harel Berger
AI agents are increasingly created inside organizations by non-engineering users through low-code, no-code, and conversational development environments. This democratization enable…
Bounding the Black Box: A Statistical Certification Framework for AI Risk Regulation
Natan Levy, Gadi Perl
Artificial intelligence now decides who receives a loan, who is flagged for criminal investigation, and whether an autonomous vehicle brakes in time. Governments have responded: th…
AI-Assisted Requirements Engineering: An Empirical Evaluation Relative to Expert Judgment
Oz Levy, Ilya Dikman, Natan Levy +1
Artificial Intelligence is increasingly introduced into systems engineering activities, particularly within requirements engineering, where quality assessment and validation remain…
Statistical Runtime Verification for LLMs via Robustness Estimation
Natan Levy, Adiel Ashrov, Guy Katz
Adversarial robustness verification is essential for ensuring the safe deployment of Large Language Models (LLMs) in runtime-critical applications. However, formal verification tec…
DEM: A Method for Certifying Deep Neural Network Classifier Outputs in Aerospace
Guy Katz, Natan Levy, Idan Refaeli +1
Software development in the aerospace domain requires adhering to strict, high-quality standards. While there exist regulatory guidelines for commercial software in this domain (e.…
gRoMA: a Tool for Measuring the Global Robustness of Deep Neural Networks
Natan Levy, Raz Yerushalmi, Guy Katz
Deep neural networks (DNNs) are at the forefront of cutting-edge technology, and have been achieving remarkable performance in a variety of complex tasks. Nevertheless, their integ…
Management and Detection System for Medical Surgical Equipment
Alexandra Hadar, Natan Levy, Michael Winokur
Retained surgical bodies (RSB) are any foreign bodies left inside the patient after a medical procedure. RSB is often caused by human mistakes or miscommunication between medical s…
RoMA: a Method for Neural Network Robustness Measurement and Assessment
Natan Levy, Guy Katz
Neural network models have become the leading solution for a large variety of tasks, such as classification, language processing, protein folding, and others. However, their reliab…