Anahita Baninajjar

1 papers · 2024–2024 · 1 conference · across top CS/AI conferences

Conferences

ICML (1)

Top co-authors

Amir Aminifar (1) Ahmed Rezine (1)

Papers

VNN: Verification-Friendly Neural Networks with Hard Robustness Guarantees ICML 2024