Systematic and Efficient Construction of Quadratic Unconstrained Binary Optimization Forms for High-order and Dense InteractionsJournal of the Physical Society of Japan (JPSJ), 2025 |
Neural Contraction Metrics with Formal Guarantees for Discrete-Time Nonlinear Dynamical SystemsConference on Learning for Dynamics & Control (L4DC), 2025 |
Set-Valued Sensitivity Analysis of Deep Neural NetworksAAAI Conference on Artificial Intelligence (AAAI), 2024 |
Inference Privacy: Properties and MechanismsAsilomar Conference on Signals, Systems and Computers (ACSSC), 2024 |
Achieving Domain-Independent Certified Robustness via Knowledge
ContinuityNeural Information Processing Systems (NeurIPS), 2024 |
Benchmarking Smoothness and Reducing High-Frequency Oscillations in
Continuous Control PoliciesIEEE/RJS International Conference on Intelligent RObots and Systems (IROS), 2024 |
Robustness Reprogramming for Representation LearningInternational Conference on Learning Representations (ICLR), 2024 |