From the 1 of 1 linked paper with an AI index.
1 paper
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…