← Authors

Huan Zhang

83 papers · 2016–2026 · 15 conferences · across top CS/AI conferences

Achievements

🧭 Keyword Pioneer πŸ—ΊοΈ Taxonomy Completionist (13) πŸƒ Academic Marathon (9) 🐝 Cross-Pollinator (14) 🌍 Conference Polyglot (15) 🐣 Hot Topic Early Bird 🌈 Renaissance Researcher (6) πŸŒ‰ Interdisciplinary Bridge 🏠 Conference Loyalist (22) 🌟 Keyword Trendsetter Combo (3) πŸ† Grand Slam πŸ‘‘ Triple Crown πŸ† Keyword Champion 🀝 Dynamic Duo (33) πŸ‘₯ Mega-Team (71) πŸ”¬ Deep Specialist (15) 🧬 Topic Evolution πŸš€ Conference Pioneer ⚑ Prolific Year (8) πŸ—ƒοΈ Keyword Collector (267) πŸ“ˆ Trend Setter πŸ’Ž Century Club (78) πŸ”₯ Unstoppable (10) ❓ The Questioner (6)

Conferences

NIPS (22) ICML (15) ICLR (13) AAAI (8) EMNLP (5) ACL (3) CVPR (3) ECCV (3) ICCV (3) INTERSPEECH (2) JMLR (2) AACL (1) L4DC (1) NAACL (1) RSS (1)

Top co-authors

Cho-jui Hsieh (33) Hongge Chen (10) Pin-Yu Chen (10) Kaidi Xu (9) Duane Boning (6) Jinfeng Yi (6) Yihan Wang (6) J. Zico Kolter (6) Zhouxing Shi (5) Sijia Liu (5)

Research topics

Systems (1) Applications (1) Science (1) Privacy (1)

Keywords

adversarial robustness (16) neural network verification (12) adversarial training (8) adversarial attack (8) neural network (7) adversarial example (7) large language model (5) certified robustness (5) formal verification (5) branch and bound (5) neural network optimization (4) adversarial perturbation (3) relu network (3) bound propagation (3) robustness verification (3) mixed integer programming (3) linear programming (3) adversarial learning (3) vision language model (3) convolutional neural network (2)

Papers

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
Generating-Filtering-Ranking: A Three-Stage MultiModal Data Augmentation Framework Under Partial Modality Missing AAAI 2026
What to Ask Next? Probing the Imaginative Reasoning of LLMs with TurtleSoup Puzzles AAAI 2026
Causal Composition Diffusion Model for Closed-loop Traffic Generation CVPR 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
EmbodiedBench: Comprehensive Benchmarking Multi-modal Large Language Models for Vision-Driven Embodied Agents ICML 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
Steering Away from Harm: An Adaptive Approach to Defending Vision Language Model Against Jailbreaks CVPR 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
BaB-ND: Long-Horizon Motion Planning with Branch-and-Bound and Neural Dynamics ICLR 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
Scalable Neural Network Verification with Branch-and-bound Inferred Cutting Planes NIPS 2024
HoneyComb: A Flexible LLM-Based Agent System for Materials Science EMNLP 2024
DualPure: An Efficient Adversarial Purification Method for Speech Command Recognition INTERSPEECH 2024
Regularizing Hidden States Enables Learning Generalizable Reward Model for LLMs NIPS 2024
NN4SysBench: Characterizing Neural Network Verification for Computer Systems NIPS 2024
Verified Safe Reinforcement Learning for Neural Network Dynamic Models NIPS 2024
Lyapunov-stable Neural Control for State and Output Feedback: A Novel Formulation ICML 2024
Position: TrustLLM: Trustworthiness in Large Language Models ICML 2024
Fine-grained Local Sensitivity Analysis of Standard Dot-Product Self-Attention ICML 2024
COLD-Attack: Jailbreaking LLMs with Stealthiness and Controllability ICML 2024
Towards Robust and Safe Reinforcement Learning with Benign Off-policy Data ICML 2023
Provably Bounding Neural Network Preimages NIPS 2023
Robust Mixture-of-Expert Training for Convolutional Neural Networks ICCV 2023
Can Agents Run Relay Race with Strangers? Generalization of RL to Out-of-Distribution Trajectories ICLR 2023
HoneyBee: Progressive Instruction Finetuning of Large Language Models for Materials Science EMNLP 2023
On the Robustness of Safe Reinforcement Learning under Observational Perturbations ICLR 2023
COPA: Certifying Robust Policies for Offline Reinforcement Learning against Poisoning Attacks ICLR 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
VIP: Unified Certified Detection and Recovery for Patch Attack with Vision Transformers ECCV 2022
Sharpness-Aware Minimization with Dynamic Reweighting EMNLP 2022
Linearity Grafting: Relaxed Neuron Pruning Helps Certifiable Robustness ICML 2022
A Branch and Bound Framework for Stronger Adversarial Attacks of ReLU Networks ICML 2022
NRI-FGSM: An Efficient Transferable Adversarial Attack for Speaker Recognition Systems INTERSPEECH 2022
Double Perturbation: On the Robustness of Robustness and Counterfactual Bias Evaluation NAACL 2021
LocalGAN: Modeling Local Distributions for Adversarial Response Generation JMLR 2021
Robust Reinforcement Learning on State Observations with Learned Optimal Adversary ICLR 2021
Beta-CROWN: Efficient Bound Propagation with Per-neuron Split Constraints for Neural Network Robustness Verification NIPS 2021
Fast and Complete: Enabling Complete Neural Network Verification with Rapid and Massively Parallel Incomplete Verifiers ICLR 2021
Fast Certified Robust Training with Short Warmup NIPS 2021
Training Certifiably Robust Neural Networks with Efficient Local Lipschitz Bounds NIPS 2021
Robustness between the worst and average case NIPS 2021
Towards Stable and Efficient Training of Verifiably Robust Neural Networks ICLR 2020
On Lp-norm Robustness of Ensemble Decision Stumps and Trees ICML 2020
Automatic Perturbation Analysis for Scalable Certified Robustness and Beyond NIPS 2020
Seq2Sick: Evaluating the Robustness of Sequence-to-Sequence Models with Adversarial Examples AAAI 2020
MACER: Attack-free and Scalable Robust Training via Maximizing Certified Radius ICLR 2020
Robustness Verification for Transformers ICLR 2020
Reducing Sentiment Bias in Language Models via Counterfactual Evaluation EMNLP 2020
Towards Non-task-specific Distillation of BERT via Sentence Representation Approximation AACL 2020
An Efficient Adversarial Attack for Tree Ensembles NIPS 2020
Robust Deep Reinforcement Learning against Adversarial Perturbations on State Observations NIPS 2020
Structured Adversarial Attack: Towards General Implementation and Better Interpretability ICLR 2019
Adversarial Robustness vs. Model Compression, or Both? ICCV 2019
Robust Decision Trees Against Adversarial Examples ICML 2019
RecurJac: An Efficient Recursive Algorithm for Bounding Jacobian Matrix of Neural Networks and Its Applications AAAI 2019
AutoZOOM: Autoencoder-Based Zeroth Order Optimization Method for Attacking Black-Box Neural Networks AAAI 2019
Robustness Verification of Tree-based Models NIPS 2019
Provably Robust Deep Learning via Adversarially Trained Smoothed Classifiers NIPS 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
Query-Efficient Hard-label Black-box Attack: An Optimization-based Approach ICLR 2019
Minimum Divergence vs. Maximum Margin: an Empirical Comparison on Seq2Seq Models ICLR 2019
Efficient Neural Network Robustness Certification with General Activation Functions NIPS 2018
Towards Fast Computation of Certified Robustness for ReLU Networks ICML 2018
Is Robustness the Cost of Accuracy? -- A Comprehensive Study on the Robustness of 18 Deep Image Classification Models ECCV 2018
Attacking Visual Language Grounding with Adversarial Examples: A Case Study on Neural Image Captioning ACL 2018
Towards Robust Neural Networks via Random Self-ensemble 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