CoMEt: x86 Cost Model Explanation Framework. - Isha Chaudhary; Alex Renda; Charith Mendis; Gagandeep Singh 001 (CoRR, 2023)

Bypassing the Safety Training of Open-Source LLMs with Priming Attacks. - Jason Vega; Isha Chaudhary; Changming Xu; Gagandeep Singh 001 (Tiny Papers @ ICLR, 2024)

COMET: Neural Cost Model Explanation Framework. - Isha Chaudhary; Alex Renda; Charith Mendis; Gagandeep Singh 001 (MLSys, 2024)

QuaCer-C: Quantitative Certification of Knowledge Comprehension in LLMs. - Isha Chaudhary; Vedaant V. Jain; Gagandeep Singh 001 (CoRR, 2024)

Quantitative Certification of Bias in Large Language Models. - Isha Chaudhary; Qian Hu; Manoj Kumar 007; Morteza Ziyadi; Rahul Gupta 001; Gagandeep Singh 001 (CoRR, 2024)

Specification Generation for Neural Networks in Systems. - Isha Chaudhary; Shuyi Lin 001; Cheng Tan; Gagandeep Singh 001 (CoRR, 2024)

Certifying Counterfactual Bias in LLMs. - Isha Chaudhary; Qian Hu; Manoj Kumar 007; Morteza Ziyadi; Rahul Gupta 001; Gagandeep Singh 001 (ICLR, 2025)