Parameterized Abstract Interpretation for Transformer Verification
- Pei Huang
- Dennis Wei
- et al.
- 2026
- AAAI 2026
Publications
90 results for Dennis Wei
Fair Continuous Resource Allocation with Equality of Impact
- Blossom Metevier
- Dennis Wei
- et al.
- 2025
- NeurIPS 2025
Final-Model-Only Data Attribution with a Unifying View of Gradient-Based Methods
- Dennis Wei
- Inkit Padhi
- et al.
- 2025
- NeurIPS 2025
Representation Similarity Reveals Implicit Layer Grouping in Neural Networks
- Tian Gao
- Amit Dhurandhar
- et al.
- 2025
- NeurIPS 2025
Reasoning Model Unlearning: Forgetting Traces, Not Just Answers, While Preserving Reasoning Skills
- Changsheng Wang
- Chongyu Fan
- et al.
- 2025
- EMNLP 2025
Highlight All the Phrases: Enhancing LLM Transparency through Visual Factuality Indicators
- Hyo Jin Do
- Rachel Ostrand
- et al.
- 2025
- AIES 2025
LLM Unlearning on Noisy Forget Sets: A Study of Incomplete, Rewritten, and Watermarked Data
- Changsheng Wang
- Yihua Zhang
- et al.
- 2025
- AISec 2025
Multi-Level Explanations for Generative Language Models
- Lucas Monteiro Paes
- Dennis Wei
- et al.
- 2025
- ACL 2025
Invariance Makes LLM Unlearning Resilient Even to Unanticipated Downstream Fine-Tuning
- Changsheng Wang
- Yihua Zhang
- et al.
- 2025
- ICML 2025
Dropping Just a Handful of Preferences Can Change Top Large Language Model Rankings
- Jenny Yijian Huang
- Yunyi Shen
- et al.
- 2025
- ICML 2025