Huan Zhang

Akira Maezawa

CoRR, February, 2025

SoundnessBench: A Soundness Benchmark for Neural Network Verifiers.

[BibT_eX]

[DOI]

Trans. Mach. Learn. Res., 2025

Reliable and Responsible Foundation Models.

[BibT_eX]

[DOI]

Trans. Mach. Learn. Res., 2025

CertPHash: Towards Certified Perceptual Hashing via Robust Training.

[BibT_eX]

[DOI]

Proceedings of the 34th USENIX Security Symposium, 2025

Neural Network Verification with Branch-and-Bound for General Nonlinearities.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2025

From Aesthetics to Human Preferences: Comparative Perspectives of Evaluating Text-to-Music Systems.

[BibT_eX]

[DOI]

Proceedings of the 35th IEEE International Workshop on Machine Learning for Signal Processing, 2025

EmbodiedBench: Comprehensive Benchmarking Multi-modal Large Language Models for Vision-Driven Embodied Agents.

[BibT_eX]

[DOI]

Teja Venkat Koripella

Proceedings of the Forty-second International Conference on Machine Learning, 2025

The Emperor's New Clothes in Benchmarking? A Rigorous Examination of Mitigation Strategies for LLM Benchmark Data Contamination.

[BibT_eX]

[DOI]

Proceedings of the Forty-second International Conference on Machine Learning, 2025

LLaQo: Towards a Query-Based Coach in Expressive Music Performance Assessment.

[BibT_eX]

[DOI]

Proceedings of the 2025 IEEE International Conference on Acoustics, 2025

PREFACE - A Reinforcement Learning Framework for Code Verification via LLM Prompt Repair.

[BibT_eX]

[DOI]

Proceedings of the Great Lakes Symposium on VLSI 2025, GLSVLSI 2025, New Orleans, LA, USA, 30 June 2025, 2025

AlphaOne: Reasoning Models Thinking Slow and Fast at Test Time.

[BibT_eX]

[DOI]

Proceedings of the 2025 Conference on Empirical Methods in Natural Language Processing, 2025

Steering Away from Harm: An Adaptive Approach to Defending Vision Language Model Against Jailbreaks.

[BibT_eX]

[DOI]

Han Wang

Gang Wang

Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2025

Causal Composition Diffusion Model for Closed-loop Traffic Generation.

[BibT_eX]

[DOI]

Siddhartha S. Srinivasa

Eric M. Wolff

Hongge Chen

Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2025

2024

Temporal shuffling for defending deep action recognition models against adversarial attacks.

[BibT_eX]

[DOI]

Neural Networks, January, 2024

Causal Composition Diffusion Model for Closed-loop Traffic Generation.

[BibT_eX]

[DOI]

Siddhartha S. Srinivasa

Eric M. Wolff

Hongge Chen

CoRR, 2024

Training-Free Bayesianization for Low-Rank Adapters of Large Language Models.

[BibT_eX]

[DOI]

CoRR, 2024

Testing Neural Network Verifiers: A Soundness Benchmark with Hidden Counterexamples.

[BibT_eX]

[DOI]

CoRR, 2024

Certified Training with Branch-and-Bound: A Case Study on Lyapunov-stable Neural Control.

[BibT_eX]

[DOI]

Zhouxing Shi

CoRR, 2024

SVIP: Towards Verifiable Inference of Open-source Large Language Models.

[BibT_eX]

[DOI]

CoRR, 2024

How does the teacher rate? Observations from the NeuroPiano dataset.

[BibT_eX]

[DOI]

CoRR, 2024

Foundation Models for Music: A Survey.

[BibT_eX]

[DOI]

CoRR, 2024

F-FOMAML: GNN-Enhanced Meta-Learning for Peak Period Demand Forecasting with Proxy Data.

[BibT_eX]

[DOI]

CoRR, 2024

Lyapunov-stable Neural Control for State and Output Feedback: A Novel Formulation for Efficient Synthesis and Verification.

[BibT_eX]

[DOI]

CoRR, 2024

TrustLLM: Trustworthiness in Large Language Models.

[BibT_eX]

[DOI]

CoRR, 2024

Scalable Neural Network Verification with Branch-and-bound Inferred Cutting Planes.

[BibT_eX]

[DOI]

Proceedings of the Advances in Neural Information Processing Systems 37: Annual Conference on Neural Information Processing Systems 2024, 2024

Regularizing Hidden States Enables Learning Generalizable Reward Model for LLMs.

[BibT_eX]

[DOI]

Proceedings of the Advances in Neural Information Processing Systems 37: Annual Conference on Neural Information Processing Systems 2024, 2024

From Audio Encoders to Piano Judges: Benchmarking Performance Understanding for Solo Piano.

[BibT_eX]

[DOI]

Jinhua Liang

Proceedings of the 25th International Society for Music Information Retrieval Conference, 2024

Lyapunov-stable Neural Control for State and Output Feedback: A Novel Formulation.

[BibT_eX]

[DOI]

Proceedings of the Forty-first International Conference on Machine Learning, 2024

Position: TrustLLM: Trustworthiness in Large Language Models.

[BibT_eX]

[DOI]

Proceedings of the Forty-first International Conference on Machine Learning, 2024

2023

Queer In AI: A Case Study in Community-Led Participatory AI.

[BibT_eX]

[DOI]

CoRR, 2023

DiffSmooth: Certifiably Robust Learning via Diffusion Models and Local Smoothing.

[BibT_eX]

[DOI]

Proceedings of the 32nd USENIX Security Symposium, 2023

Provably Bounding Neural Network Preimages.

[BibT_eX]

[DOI]

Suhas Kotha

Christopher Brix

J. Zico Kolter

Krishnamurthy Dvijotham

Proceedings of the Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, 2023

Symbolic Music Representations for Classification Tasks: A Systematic Evaluation.

[BibT_eX]

[DOI]

Emmanouil Karystinaios

Carlos Eduardo Cancino-Chacón

Gerhard Widmer

Proceedings of the 24th International Society for Music Information Retrieval Conference, 2023

Towards Robust and Safe Reinforcement Learning with Benign Off-policy Data.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Machine Learning, 2023

On the Robustness of Safe Reinforcement Learning under Observational Perturbations.

[BibT_eX]

[DOI]

Proceedings of the Eleventh International Conference on Learning Representations, 2023

Can Agents Run Relay Race with Strangers? Generalization of RL to Out-of-Distribution Trajectories.

[BibT_eX]

[DOI]

Li-Cheng Lan

Proceedings of the Eleventh International Conference on Learning Representations, 2023

Robust Mixture-of-Expert Training for Convolutional Neural Networks.

[BibT_eX]

[DOI]

Proceedings of the IEEE/CVF International Conference on Computer Vision, 2023

Disentangling the Horowitz Factor: Learning Content and Style From Expressive Piano Performance.

[BibT_eX]

[DOI]

Ivan Dario Jimenez Rodriguez

Proceedings of the IEEE International Conference on Acoustics, 2023

Queer In AI: A Case Study in Community-Led Participatory AI.

[BibT_eX]

[DOI]

Proceedings of the 2023 ACM Conference on Fairness, Accountability, and Transparency, 2023

2022

FI-ODE: Certified and Robust Forward Invariance in Neural ODEs.

[BibT_eX]

[DOI]

Yujia Huang

Yuanyuan Shi

Yisong Yue

CoRR, 2022

COPA: Certifying Robust Policies for Offline Reinforcement Learning against Poisoning Attacks.

[BibT_eX]

[DOI]

Krishnaram Kenthapadi

Ding Zhao

Bo Li

CoRR, 2022

General Cutting Planes for Bound-Propagation-Based Neural Network Verification.

[BibT_eX]

[DOI]

Proceedings of the Advances in Neural Information Processing Systems 35: Annual Conference on Neural Information Processing Systems 2022, 2022

Efficiently Computing Local Lipschitz Constants of Neural Networks via Bound Propagation.

[BibT_eX]

[DOI]

Proceedings of the Advances in Neural Information Processing Systems 35: Annual Conference on Neural Information Processing Systems 2022, 2022

Are AlphaZero-like Agents Robust to Adversarial Perturbations?

[BibT_eX]

[DOI]

Proceedings of the Advances in Neural Information Processing Systems 35: Annual Conference on Neural Information Processing Systems 2022, 2022

ATEPP: A Dataset of Automatically Transcribed Expressive Piano Performance.

[BibT_eX]

[DOI]

Proceedings of the 23rd International Society for Music Information Retrieval Conference, 2022

Deep Image Destruction: Vulnerability of Deep Image-to-Image Models against Adversarial Attacks.

[BibT_eX]

[DOI]

Proceedings of the 26th International Conference on Pattern Recognition, 2022

A Branch and Bound Framework for Stronger Adversarial Attacks of ReLU Networks.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Machine Learning, 2022

Linearity Grafting: Relaxed Neuron Pruning Helps Certifiable Robustness.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Machine Learning, 2022

COPA: Certifying Robust Policies for Offline Reinforcement Learning against Poisoning Attacks.

[BibT_eX]

[DOI]

Krishnaram Kenthapadi

Ding Zhao

Bo Li

Proceedings of the Tenth International Conference on Learning Representations, 2022

ViP: Unified Certified Detection and Recovery for Patch Attack with Vision Transformers.

[BibT_eX]

[DOI]

Junbo Li

Cihang Xie

Proceedings of the Computer Vision - ECCV 2022, 2022

2021

Improving Robustness of Reinforcement Learning for Power System Control with Adversarial Training.

[BibT_eX]

[DOI]

CoRR, 2021

Deep Image Destruction: A Comprehensive Study on Vulnerability of Deep Image-to-Image Models against Adversarial Attacks.

[BibT_eX]

[DOI]

CoRR, 2021

Fast Certified Robust Training via Better Initialization and Shorter Warmup.

[BibT_eX]

[DOI]

CoRR, 2021

Beta-CROWN: Efficient Bound Propagation with Per-neuron Split Constraints for Complete and Incomplete Neural Network Verification.

[BibT_eX]

[DOI]

CoRR, 2021

Beta-CROWN: Efficient Bound Propagation with Per-neuron Split Constraints for Neural Network Robustness Verification.

[BibT_eX]

[DOI]

Proceedings of the Advances in Neural Information Processing Systems 34: Annual Conference on Neural Information Processing Systems 2021, 2021

Fast Certified Robust Training with Short Warmup.

[BibT_eX]

[DOI]

Proceedings of the Advances in Neural Information Processing Systems 34: Annual Conference on Neural Information Processing Systems 2021, 2021

Robustness between the worst and average case.

[BibT_eX]

[DOI]

Proceedings of the Advances in Neural Information Processing Systems 34: Annual Conference on Neural Information Processing Systems 2021, 2021

Training Certifiably Robust Neural Networks with Efficient Local Lipschitz Bounds.

[BibT_eX]

[DOI]

Proceedings of the Advances in Neural Information Processing Systems 34: Annual Conference on Neural Information Processing Systems 2021, 2021

Double Perturbation: On the Robustness of Robustness and Counterfactual Bias Evaluation.

[BibT_eX]

[DOI]

Proceedings of the 2021 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies, 2021

Robust Reinforcement Learning on State Observations with Learned Optimal Adversary.

[BibT_eX]

[DOI]

Proceedings of the 9th International Conference on Learning Representations, 2021

Fast and Complete: Enabling Complete Neural Network Verification with Rapid and Massively Parallel Incomplete Verifiers.

[BibT_eX]

[DOI]

Proceedings of the 9th International Conference on Learning Representations, 2021

2020

Machine Learning with Provable Robustness Guarantees.

[BibT_eX]

[DOI]

PhD thesis, 2020

Spanning attack: reinforce black-box attacks with unlabeled data.

[BibT_eX]

[DOI]

Mach. Learn., 2020

Automatic Analysis and Influence of Hierarchical Structure on Melody, Rhythm and Harmony in Popular Music.

[BibT_eX]

[DOI]

Shuqi Dai

Roger B. Dannenberg

CoRR, 2020

On 𝓁<sub>p</sub>-norm Robustness of Ensemble Stumps and Trees.

[BibT_eX]

[DOI]

CoRR, 2020

The Limit of the Batch Size.

[BibT_eX]

[DOI]

CoRR, 2020

Robust Deep Reinforcement Learning against Adversarial Perturbations on Observations.

[BibT_eX]

[DOI]

CoRR, 2020

Automatic Perturbation Analysis on General Computational Graphs.

[BibT_eX]

[DOI]

CoRR, 2020

An Efficient Adversarial Attack for Tree Ensembles.

[BibT_eX]

[DOI]

Chong Zhang

Proceedings of the Advances in Neural Information Processing Systems 33: Annual Conference on Neural Information Processing Systems 2020, 2020

Automatic Perturbation Analysis for Scalable Certified Robustness and Beyond.

[BibT_eX]

[DOI]

Proceedings of the Advances in Neural Information Processing Systems 33: Annual Conference on Neural Information Processing Systems 2020, 2020

Robust Deep Reinforcement Learning against Adversarial Perturbations on State Observations.

[BibT_eX]

[DOI]

Proceedings of the Advances in Neural Information Processing Systems 33: Annual Conference on Neural Information Processing Systems 2020, 2020

On Lp-norm Robustness of Ensemble Decision Stumps and Trees.

[BibT_eX]

[DOI]

Proceedings of the 37th International Conference on Machine Learning, 2020

Towards Stable and Efficient Training of Verifiably Robust Neural Networks.

[BibT_eX]

[DOI]

Proceedings of the 8th International Conference on Learning Representations, 2020

MACER: Attack-free and Scalable Robust Training via Maximizing Certified Radius.

[BibT_eX]

[DOI]

Proceedings of the 8th International Conference on Learning Representations, 2020

Robustness Verification for Transformers.

[BibT_eX]

[DOI]

Proceedings of the 8th International Conference on Learning Representations, 2020

Automatic Detection of Hierarchical Structure and Influence of Structure on Melody, Harmony and Rhythm in Popular Music.

[BibT_eX]

[DOI]

Shuqi Dai

Roger B. Dannenberg

Proceedings of the Joint Conference on AI Music Creativity (AIMC 2020), 2020

Adversarially Robust Deep Image Super-Resolution Using Entropy Regularization.

[BibT_eX]

[DOI]

Proceedings of the Computer Vision - ACCV 2020 - 15th Asian Conference on Computer Vision, Kyoto, Japan, November 30, 2020

Seq2Sick: Evaluating the Robustness of Sequence-to-Sequence Models with Adversarial Examples.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2019

Enhancing Certifiable Robustness via a Deep Model Ensemble.

[BibT_eX]

[DOI]

Minhao Cheng

CoRR, 2019

Defending Against Adversarial Attacks Using Random Forests.

[BibT_eX]

[DOI]

CoRR, 2019

Towards Stable and Efficient Training of Verifiably Robust Neural Networks.

[BibT_eX]

[DOI]

CoRR, 2019

Second Rethinking of Network Pruning in the Adversarial Setting.

[BibT_eX]

[DOI]

Jan-Henrik Lambrechts

CoRR, 2019

A Convex Relaxation Barrier to Tight Robustness Verification of Neural Networks.

[BibT_eX]

[DOI]

Proceedings of the Advances in Neural Information Processing Systems 32: Annual Conference on Neural Information Processing Systems 2019, 2019

Robustness Verification of Tree-based Models.

[BibT_eX]

[DOI]

Proceedings of the Advances in Neural Information Processing Systems 32: Annual Conference on Neural Information Processing Systems 2019, 2019

Robust Decision Trees Against Adversarial Examples.

[BibT_eX]

[DOI]

Proceedings of the 36th International Conference on Machine Learning, 2019

The Limitations of Adversarial Training and the Blind-Spot Attack.

[BibT_eX]

[DOI]

Proceedings of the 7th International Conference on Learning Representations, 2019

Structured Adversarial Attack: Towards General Implementation and Better Interpretability.

[BibT_eX]

[DOI]

Proceedings of the 7th International Conference on Learning Representations, 2019

Query-Efficient Hard-label Black-box Attack: An Optimization-based Approach.

[BibT_eX]

[DOI]

Proceedings of the 7th International Conference on Learning Representations, 2019

Adversarial Robustness vs. Model Compression, or Both?

[BibT_eX]

[DOI]

Jan-Henrik Lambrechts

Proceedings of the 2019 IEEE/CVF International Conference on Computer Vision, 2019

Evaluating Robustness of Deep Image Super-Resolution Against Adversarial Attacks.

[BibT_eX]

[DOI]

Proceedings of the 2019 IEEE/CVF International Conference on Computer Vision, 2019

GenAttack: practical black-box attacks with gradient-free optimization.

[BibT_eX]

[DOI]

Proceedings of the Genetic and Evolutionary Computation Conference, 2019

Defending Against Adversarial Attacks Using Random Forest.

[BibT_eX]

[DOI]

Proceedings of the IEEE Conference on Computer Vision and Pattern Recognition Workshops, 2019

RecurJac: An Efficient Recursive Algorithm for Bounding Jacobian Matrix of Neural Networks and Its Applications.

[BibT_eX]

[DOI]

Pengchuan Zhang

Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

AutoZOOM: Autoencoder-Based Zeroth Order Optimization Method for Attacking Black-Box Neural Networks.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

2018

Structured Adversarial Attack: Towards General Implementation and Better Interpretability.

[BibT_eX]

[DOI]

CoRR, 2018

Realtime Query Completion via Deep Language Models.

[BibT_eX]

[DOI]

Proceedings of the SIGIR 2018 Workshop On eCommerce co-located with the 41st International ACM SIGIR Conference on Research and Development in Information Retrieval (SIGIR 2018), 2018

Efficient Neural Network Robustness Certification with General Activation Functions.

[BibT_eX]

[DOI]

Proceedings of the Advances in Neural Information Processing Systems 31: Annual Conference on Neural Information Processing Systems 2018, 2018

Cascade Deep Networks for Sparse Linear Inverse Problems.

[BibT_eX]

[DOI]

Hong Shi

Wenwu Wang

Proceedings of the 24th International Conference on Pattern Recognition, 2018

Towards Fast Computation of Certified Robustness for ReLU Networks.

[BibT_eX]

[DOI]

Proceedings of the 35th International Conference on Machine Learning, 2018

Evaluating the Robustness of Neural Networks: An Extreme Value Theory Approach.

[BibT_eX]

[DOI]

Proceedings of the 6th International Conference on Learning Representations, 2018

On Extensions of Clever: A Neural Network Robustness Evaluation Algorithm.

[BibT_eX]

[DOI]

Proceedings of the 2018 IEEE Global Conference on Signal and Information Processing, 2018

Is Robustness the Cost of Accuracy? - A Comprehensive Study on the Robustness of 18 Deep Image Classification Models.

[BibT_eX]

[DOI]

Proceedings of the Computer Vision - ECCV 2018, 2018

Towards Robust Neural Networks via Random Self-ensemble.

[BibT_eX]

[DOI]

Proceedings of the Computer Vision - ECCV 2018, 2018

Attacking Visual Language Grounding with Adversarial Examples: A Case Study on Neural Image Captioning.

[BibT_eX]

[DOI]

Proceedings of the 56th Annual Meeting of the Association for Computational Linguistics, 2018

EAD: Elastic-Net Attacks to Deep Neural Networks via Adversarial Examples.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018

2017

Show-and-Fool: Crafting Adversarial Examples for Neural Image Captioning.

[BibT_eX]

[DOI]

CoRR, 2017

GPU-acceleration for Large-scale Tree Boosting.

[BibT_eX]

[DOI]

Si Si

CoRR, 2017

Can Decentralized Algorithms Outperform Centralized Algorithms? A Case Study for Decentralized Parallel Stochastic Gradient Descent.

[BibT_eX]

[DOI]

Proceedings of the Advances in Neural Information Processing Systems 30: Annual Conference on Neural Information Processing Systems 2017, 2017

Gradient Boosted Decision Trees for High Dimensional Sparse Output.

[BibT_eX]

[DOI]

Proceedings of the 34th International Conference on Machine Learning, 2017

ZOO: Zeroth Order Optimization Based Black-box Attacks to Deep Neural Networks without Training Substitute Models.

[BibT_eX]

[DOI]

Proceedings of the 10th ACM Workshop on Artificial Intelligence and Security, 2017

2016

Sublinear Time Orthogonal Tensor Decomposition.

[BibT_eX]

[DOI]

Zhao Song

David P. Woodruff

Proceedings of the Advances in Neural Information Processing Systems 29: Annual Conference on Neural Information Processing Systems 2016, 2016

A Comprehensive Linear Speedup Analysis for Asynchronous Stochastic Parallel Optimization from Zeroth-Order to First-Order.

[BibT_eX]

[DOI]

Proceedings of the Advances in Neural Information Processing Systems 29: Annual Conference on Neural Information Processing Systems 2016, 2016

HogWild++: A New Mechanism for Decentralized Asynchronous Stochastic Gradient Descent.

[BibT_eX]

[DOI]

Venkatesh Akella

Proceedings of the IEEE 16th International Conference on Data Mining, 2016

Fixing the Convergence Problems in Parallel Asynchronous Dual Coordinate Descent.

[BibT_eX]

[DOI]