2 papers
cs.AI2026
A Jagged Frontier: Evaluating Robustness of Code Agents to Semantics-Preserving Transformations
Hasan Najib Mahmud, Shreya Gupta, Isha Chaudhary +4
AI code agents are increasingly deployed to resolve real software issues, yet their reliability under superficial code variations remains poorly understood. We evaluate whether cod…
cs.LG2019
Robustness of Neural Networks: A Probabilistic and Practical Approach
Ravi Mangal, Aditya V. Nori, Alessandro Orso
Neural networks are becoming increasingly prevalent in software, and it is therefore important to be able to verify their behavior. Because verifying the correctness of neural netw…