1 citations · 2 across the 7 of their papers we have counts for
Showing cs.LGShow all
2 papers · 1 filter
cs.LG2025★ 1 cited
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…
cs.LG2023★ 1 cited
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…