4 papers
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…
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…