2 papers
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 robus…
math.CO2017
PRIMES STEP Plays Games
Pratik Alladi, Neel Bhalla, Tanya Khovanova +7
A group of students in 7-9 grades are inventing combinatorial impartial games. The games are played on graphs, piles, and grids. We found winning positions, optimal strategies, and…