Thakur, Aditya V

3 publications

NeurIPS 2025 Provable Gradient Editing of Deep Neural Networks Zhe Tao, Aditya V. Thakur

NeurIPS 2024 Provable Editing of Deep Neural Networks Using Parametric Linear Relaxation Zhe Tao, Aditya V. Thakur

NeurIPS 2019 Computing Linear Restrictions of Neural Networks Matthew Sotoudeh, Aditya V Thakur