conftrace_

Maayan Goldstein

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

Achievements

Jump to papers ↓

🌉 Interdisciplinary Bridge 🐣 Hot Topic Early Bird 🐝 Cross-Pollinator (14) 🚀 Conference Pioneer

Conferences

AAAI (1)

Top co-authors

Gil Einziger (1) Itai Segall (1) Yaniv Sa’ar (1)

Keywords

formal methods (1) formal verification (1) gradient boosting (1) model verification (1) smt solving (1) robustness verification (1)

Papers

Verifying Robustness of Gradient Boosted Models AAAI 2019