conftrace_
← Authors

Zahra Rahimi Afzal

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

Achievements

Jump to papers ↓
🧭 Keyword Pioneer 🐣 Hot Topic Early Bird 🐝 Cross-Pollinator (13)

Conferences

NIPS (1)

Top co-authors

Pavithra Prabhakar (1)

Keywords

formal verification (1) mixed integer linear programming (1) interval neural network (1) output range analysis (1)

Papers

Abstraction based Output Range Analysis for Neural Networks NIPS 2019