Huan Zhang

Generating-Filtering-Ranking: A Three-Stage MultiModal Data Augmentation Framework Under Partial Modality Missing AAAI 2026 Bootstrapping Code Translation with Weighted Multilanguage Exploration ACL 2026 What to Ask Next? Probing the Imaginative Reasoning of LLMs with TurtleSoup Puzzles AAAI 2026 LC3: Long Cross-Language Code Clone Detection Enhanced by Opcode Sequences and Affinity Aggregation AAAI 2026 Sparse Tuning Enhances Plasticity in PTM-based Continual Learning AAAI 2026 ClearAIR: A Human-Visual-Perception-Inspired All-in-One Image Restoration AAAI 2026 Steering Away from Harm: An Adaptive Approach to Defending Vision Language Model Against Jailbreaks CVPR 2025 CodeDiffuser: Attention-Enhanced Diffusion Policy via VLM-Generated Code for Instruction Ambiguity RSS 2025 Neural Contraction Metrics with Formal Guarantees for Discrete-Time Nonlinear Dynamical Systems L4DC 2025 PREMAP: A Unifying PREiMage APproximation Framework for Neural Networks JMLR 2025 The Emperor’s New Clothes in Benchmarking? A Rigorous Examination of Mitigation Strategies for LLM Benchmark Data Contamination ICML 2025 Instance Correlation Graph-based Naive Bayes ICML 2025 SDP-CROWN: Efficient Bound Propagation for Neural Network Verification with Tightness of Semidefinite Programming ICML 2025 BaB-ND: Long-Horizon Motion Planning with Branch-and-Bound and Neural Dynamics ICLR 2025 DynaMath: A Dynamic Visual Benchmark for Evaluating Mathematical Reasoning Robustness of Vision Language Models ICLR 2025 AlphaOne: Reasoning Models Thinking Slow and Fast at Test Time EMNLP 2025 Rethinking Stateful Tool Use in Multi-Turn Dialogues: Benchmarks and Challenges ACL 2025 Rethinking Diverse Human Preference Learning through Principal Component Analysis ACL 2025 Stealthy Backdoor Attack in Self-Supervised Learning Vision Encoders for Large Vision Language Models CVPR 2025 Causal Composition Diffusion Model for Closed-loop Traffic Generation CVPR 2025 EmbodiedBench: Comprehensive Benchmarking Multi-modal Large Language Models for Vision-Driven Embodied Agents ICML 2025 DualPure: An Efficient Adversarial Purification Method for Speech Command Recognition INTERSPEECH 2024 NN4SysBench: Characterizing Neural Network Verification for Computer Systems NIPS 2024 Verified Safe Reinforcement Learning for Neural Network Dynamic Models NIPS 2024 Fine-grained Local Sensitivity Analysis of Standard Dot-Product Self-Attention ICML 2024 COLD-Attack: Jailbreaking LLMs with Stealthiness and Controllability ICML 2024 Lyapunov-stable Neural Control for State and Output Feedback: A Novel Formulation ICML 2024 Position: TrustLLM: Trustworthiness in Large Language Models ICML 2024 HoneyComb: A Flexible LLM-Based Agent System for Materials Science EMNLP 2024 Scalable Neural Network Verification with Branch-and-bound Inferred Cutting Planes NIPS 2024 Regularizing Hidden States Enables Learning Generalizable Reward Model for LLMs NIPS 2024 Can Agents Run Relay Race with Strangers? Generalization of RL to Out-of-Distribution Trajectories ICLR 2023 Provably Bounding Neural Network Preimages NIPS 2023 HoneyBee: Progressive Instruction Finetuning of Large Language Models for Materials Science EMNLP 2023 Robust Mixture-of-Expert Training for Convolutional Neural Networks ICCV 2023 On the Robustness of Safe Reinforcement Learning under Observational Perturbations ICLR 2023 Towards Robust and Safe Reinforcement Learning with Benign Off-policy Data ICML 2023 COPA: Certifying Robust Policies for Offline Reinforcement Learning against Poisoning Attacks ICLR 2022 Sharpness-Aware Minimization with Dynamic Reweighting EMNLP 2022 VIP: Unified Certified Detection and Recovery for Patch Attack with Vision Transformers ECCV 2022 NRI-FGSM: An Efficient Transferable Adversarial Attack for Speaker Recognition Systems INTERSPEECH 2022 General Cutting Planes for Bound-Propagation-Based Neural Network Verification NIPS 2022 Efficiently Computing Local Lipschitz Constants of Neural Networks via Bound Propagation NIPS 2022 Are AlphaZero-like Agents Robust to Adversarial Perturbations? NIPS 2022 A Branch and Bound Framework for Stronger Adversarial Attacks of ReLU Networks ICML 2022 Linearity Grafting: Relaxed Neuron Pruning Helps Certifiable Robustness ICML 2022 LocalGAN: Modeling Local Distributions for Adversarial Response Generation JMLR 2021 Robust Reinforcement Learning on State Observations with Learned Optimal Adversary ICLR 2021 Fast and Complete: Enabling Complete Neural Network Verification with Rapid and Massively Parallel Incomplete Verifiers ICLR 2021 Beta-CROWN: Efficient Bound Propagation with Per-neuron Split Constraints for Neural Network Robustness Verification NIPS 2021 Robustness between the worst and average case NIPS 2021 Training Certifiably Robust Neural Networks with Efficient Local Lipschitz Bounds NIPS 2021 Fast Certified Robust Training with Short Warmup NIPS 2021 Double Perturbation: On the Robustness of Robustness and Counterfactual Bias Evaluation NAACL 2021 An Efficient Adversarial Attack for Tree Ensembles NIPS 2020 Towards Stable and Efficient Training of Verifiably Robust Neural Networks ICLR 2020 MACER: Attack-free and Scalable Robust Training via Maximizing Certified Radius ICLR 2020 Automatic Perturbation Analysis for Scalable Certified Robustness and Beyond NIPS 2020 On Lp-norm Robustness of Ensemble Decision Stumps and Trees ICML 2020 Robustness Verification for Transformers ICLR 2020 Towards Non-task-specific Distillation of BERT via Sentence Representation Approximation AACL 2020 Seq2Sick: Evaluating the Robustness of Sequence-to-Sequence Models with Adversarial Examples AAAI 2020 Reducing Sentiment Bias in Language Models via Counterfactual Evaluation EMNLP 2020 Robust Deep Reinforcement Learning against Adversarial Perturbations on State Observations NIPS 2020 AutoZOOM: Autoencoder-Based Zeroth Order Optimization Method for Attacking Black-Box Neural Networks AAAI 2019 Query-Efficient Hard-label Black-box Attack: An Optimization-based Approach ICLR 2019 Robust Decision Trees Against Adversarial Examples ICML 2019 A Convex Relaxation Barrier to Tight Robustness Verification of Neural Networks NIPS 2019 Evaluating Robustness of Deep Image Super-Resolution Against Adversarial Attacks ICCV 2019 Provably Robust Deep Learning via Adversarially Trained Smoothed Classifiers NIPS 2019 Adversarial Robustness vs. Model Compression, or Both? ICCV 2019 Minimum Divergence vs. Maximum Margin: an Empirical Comparison on Seq2Seq Models ICLR 2019 Structured Adversarial Attack: Towards General Implementation and Better Interpretability ICLR 2019 Robustness Verification of Tree-based Models NIPS 2019 RecurJac: An Efficient Recursive Algorithm for Bounding Jacobian Matrix of Neural Networks and Its Applications AAAI 2019 Towards Robust Neural Networks via Random Self-ensemble ECCV 2018 Towards Fast Computation of Certified Robustness for ReLU Networks ICML 2018 Efficient Neural Network Robustness Certification with General Activation Functions NIPS 2018 Attacking Visual Language Grounding with Adversarial Examples: A Case Study on Neural Image Captioning ACL 2018 Is Robustness the Cost of Accuracy? -- A Comprehensive Study on the Robustness of 18 Deep Image Classification Models ECCV 2018 Gradient Boosted Decision Trees for High Dimensional Sparse Output ICML 2017 Can Decentralized Algorithms Outperform Centralized Algorithms? A Case Study for Decentralized Parallel Stochastic Gradient Descent NIPS 2017 A Comprehensive Linear Speedup Analysis for Asynchronous Stochastic Parallel Optimization from Zeroth-Order to First-Order NIPS 2016 Sublinear Time Orthogonal Tensor Decomposition NIPS 2016