1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.LG2026
Some Complexity Results for Robustness Verification for Binarized Neural Networks
Harshit Goyal, Sudakshina Dutta
This paper investigates the computational complexity of verification problems for Binarized Neural Networks (BNNs), in which activations and weights are binary. Specifically, we st…
cs.IR2022★ 1 cited
Personal Research Knowledge Graphs
Prantika Chakraborty, Sudakshina Dutta, Debarshi Kumar Sanyal
Maintaining research-related information in an organized manner can be challenging for a researcher. In this paper, we envision personal research knowledge graphs (PRKGs) as a mean…