α
Research
Alpha Leak
Conferences
Topics
Top Authors
Rankings
Browse All
EN
中
Home
/
AAAI 2025
/
PROSAC: Provably Safe Certification for Machine Le...
AAAI 2025
paper
PROSAC: Provably Safe Certification for Machine Learning Models under Adversarial Attacks
2
citations
PDF
Project
2
Citations
#772
in AAAI 2025
of 3028 papers
6
Authors
1
Data Points
Authors
Chen Feng
Ziquan Liu
Zhuo Zhi
Ilija Bogunovic
Carsten Gerner-Beuerle
Miguel Rodrigues
Citation History
Jan 27, 2026
2