Ahmed Rezine

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

Conferences

ICML (1)

Top co-authors

Anahita Baninajjar (1) Amir Aminifar (1)

Papers

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