Natan Levy

According to our database, Natan Levy authored at least 10 papers between 2022 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2026

Bounding the Black Box: A Statistical Certification Framework for AI Risk Regulation.

Natan Levy, Gadi Perl

CoRR, April, 2026

AI-Assisted Requirements Engineering: An Empirical Evaluation Relative to Expert Judgment.

Oz Levy, Ilya Dikman, Natan Levy, Michael Winokur

CoRR, April, 2026

2025

Towards Robust LLMs: an Adversarial Robustness Measurement Framework.

Natan Levy, Adiel Ashrov, Guy Katz

CoRR, April, 2025

Work in Progress: AI-Powered Engineering-Bridging Theory and Practice.

Oz Levy, Ilya Dikman, Natan Levy, Michael Winokur

CoRR, February, 2025

Statistical Runtime Verification for LLMs via Robustness Estimation.

Natan Levy, Adiel Ashrov, Guy Katz

Proceedings of the Runtime Verification - 25th International Conference, 2025

2024

DEM: A Method for Certifying Deep Neural Network Classifier Outputs in Aerospace.

Guy Katz, Natan Levy, Idan Refaeli, Raz Yerushalmi

CoRR, 2024

2023

gRoMA: a Tool for Measuring Deep Neural Networks Global Robustness.

Natan Levy, Raz Yerushalmi, Guy Katz

CoRR, 2023

gRoMA: A Tool for Measuring the Global Robustness of Deep Neural Networks.

Natan Levy, Raz Yerushalmi, Guy Katz

Proceedings of the Bridging the Gap Between AI and Reality, 2023

2022

Management and Detection System for Medical Surgical Equipment.

Alexandra Hadar, Natan Levy, Michael Winokur

CoRR, 2022

RoMA: A Method for Neural Network Robustness Measurement and Assessment.

Natan Levy, Guy Katz

Proceedings of the Neural Information Processing - 29th International Conference, 2022