Aditya V Thakur

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

Achievements

🏃 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