2 papers
math.FA2025
Fixed and Periodic Points of the Intersection Body Operator
Emanuel Milman, Shahar Shabelman, Amir Yehudayoff
The intersection body of a star-body in was introduced by E. Lutwak following the work of H. Busemann, and plays a central role in the dual Brunn-Minkowski…
cs.LG2024
Boosting Few-Pixel Robustness Verification via Covering Verification Designs
Yuval Shapira, Naor Wiesel, Shahar Shabelman +1
Proving local robustness is crucial to increase the reliability of neural networks. While many verifiers prove robustness in -balls, very little work deals with robu…