Provable Editing of Deep Neural Networks using Parametric Linear Relaxation
–Neural Information Processing Systems
However, the problem of provably editing a DNN to satisfy a property remains challenging.
Neural Information Processing Systems
Feb-18-2026, 05:21:34 GMT
- Country:
- Europe
- Austria (0.04)
- Germany > Berlin (0.04)
- Portugal > Lisbon
- Lisbon (0.04)
- Spain > Valencian Community
- Alicante Province > Alicante (0.04)
- Sweden > Stockholm
- Stockholm (0.04)
- United Kingdom > England
- Cambridgeshire > Cambridge (0.04)
- North America
- Canada
- United States
- California > Yolo County
- Davis (0.14)
- Louisiana > Orleans Parish
- New Orleans (0.04)
- California > Yolo County
- Europe
- Genre:
- Research Report > Experimental Study (0.92)
- Industry:
- Information Technology (0.67)
- Technology: