Showing cs.LGShow all
2 papers · 1 filter
cs.LG2025
Data Shifts Hurt CoT: A Theoretical Study
Lang Yin, Debangshu Banerjee, Gagandeep Singh
Chain of Thought (CoT) has been applied to various large language models (LLMs) and proven to be effective in improving the quality of outputs. In recent studies, transformers are…
cs.LG2024
Relational DNN Verification With Cross Executional Bound Refinement
Debangshu Banerjee, Gagandeep Singh
We focus on verifying relational properties defined over deep neural networks (DNNs) such as robustness against universal adversarial perturbations (UAP), certified worst-case hamm…