3 papers
cs.LG2025
On Robustness of Linear Classifiers to Targeted Data Poisoning
Nakshatra Gupta, Sumanth Prabhu, Supratik Chakraborty +1
Data poisoning is a training-time attack that undermines the trustworthiness of learned models. In a targeted data poisoning attack, an adversary manipulates the training dataset t…
cs.SE2024
A shallow dive into the depths of non-termination checking for C programs
Ravindra Metta, Hrishikesh Karmarkar, Kumar Madhukar +3
Checking for Non-Termination (NT) of a given program P, i.e., determining if P has at least one non-terminating run, is an undecidable problem that continues to garner significant…
cs.LG2024
Network Inversion of Binarised Neural Nets
Pirzada Suhail, Supratik Chakraborty, Amit Sethi
While the deployment of neural networks, yielding impressive results, becomes more prevalent in various applications, their interpretability and understanding remain a critical cha…