conftrace_

Aditya V Thakur

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

Achievements

Jump to papers ↓

🏃 Academic Marathon (5) 🌉 Interdisciplinary Bridge 🐣 Hot Topic Early Bird 🐝 Cross-Pollinator (14)

Conferences

NIPS (2)

Top co-authors

Zhe Tao (1) Matthew Sotoudeh (1) Aditya V. Thakur (1)

Keywords

neural network verification (2) ai safety (1) piecewise linear (1) linear programming (1) relu activation (1) decision boundary (1) model editing (1) integrated gradient (1)

Papers

Provable Editing of Deep Neural Networks using Parametric Linear Relaxation NIPS 2024 Computing Linear Restrictions of Neural Networks NIPS 2019