Support is All You Need for Certified VAE Training
Changming Xu, Debangshu Banerjee, Deepak Vasisht, Gagandeep Singh. “Support is All You Need for Certified VAE Training.” ICLR ‘25.
*Equal Contribution
Changming Xu, Debangshu Banerjee, Deepak Vasisht, Gagandeep Singh. “Support is All You Need for Certified VAE Training.” ICLR ‘25.
Changming Xu, Gagandeep Singh. “Cross-Input Certified Training for Universal Perturbations.” ECCV ‘24.
Debangshu Banerjee, Changming Xu, Gagandeep Singh. “Scalable Relational Verification and Training for Deep Neural Networks.” SAIV ‘24.
Changming Xu, Gagandeep Singh. “Robust Universal Adversarial Perturbations.” ICML ‘24.
Debangshu Banerjee, Changming Xu, Gagandeep Singh. “Input-Relational Verification of Deep Neural Networks.” PLDI ‘24.
Jason Vega*, Isha Chaudhary*, Changming Xu*, Gagandeep Singh. “Bypassing the Safety Training of Open-Source LLMs with Priming Attacks.” ICLR Tiny Paper ’24 (invite to present)
Liu, Zikun, Changming Xu, Emerson Sie, Gagandeep Singh, and Deepak Vasisht. “Exploring Practical Vulnerabilities of Machine Learning-based Wireless Systems.” NSDI ‘23.
Kunal Agrawal, Joseph Devietti, Jeremy T. Fineman, I-Ting Angelina Lee, Robert Utterback, and Changming Xu. “Race detection and reachability in nearly series-parallel dags.” ACM-SIAM SODA ‘18.