3 papers
cs.LG2025
Compression Aware Certified Training
Changming Xu, Gagandeep Singh
Deep neural networks deployed in safety-critical, resource-constrained environments must balance efficiency and robustness. Existing methods treat compression and certified robustn…
cs.AI2025
Robust Answers, Fragile Logic: Probing the Decoupling Hypothesis in LLM Reasoning
Enyi Jiang, Changming Xu, Nischay Singh +2
While Chain-of-Thought (CoT) prompting has become a cornerstone for complex reasoning in Large Language Models (LLMs), the faithfulness of the generated reasoning remains an open q…
cs.LG2025
Support is All You Need for Certified VAE Training
Changming Xu, Debangshu Banerjee, Deepak Vasisht +1
Variational Autoencoders (VAEs) have become increasingly popular and deployed in safety-critical applications. In such applications, we want to give certified probabilistic guarant…