From the 1 of 1 linked paper with an AI index.
1 paper · 1 filter
Harshit Goyal, Sudakshina Dutta
The paper analyzes the computational complexity of verification tasks for Binarized Neural Networks, proving NP-completeness for linear property satisfaction and non-uniform occlus…