Papers
Hierarchical End-to-End Taylor Bounds for Complete Neural Network Verification
Taha Entesari, Mahyar Fazlyab
A Hybrid Learning-to-Optimize Framework for Mixed-Integer Quadratic Programming
Viet-Anh Le, Mu Xie, Rahul Mangharam
Differentiable Filtering for Learning Hidden Markov Models
Reginald Zhiyan Chen, Heng-Sheng Chang, Prashant G Mehta
An accelerated proximal bundle method for convex optimization
Feng-Yi Liao, Thomas Madden, Yang Zheng
OffRIPP: Offline RL-based Informative Path Planning
Srikar Babu Gadipudi, Srujan Deolasee, Siva Kailas et al.
Certified Robust Invariant Polytope Training in Neural Controlled ODEs
Akash Harapanahalli, Samuel Coogan
BURNS: Backward Underapproximate Reachability for Neural-Feedback-Loop Systems
Chelsea Rose Sidrane, Jana Tumova
Optimizing Coordination among Bounded Rational Agents
Zhewei Wang, Marcos M. Vasconcelos
Online Caching in Tree Networks: Algorithms, Regret, and Complexity
Ativ Joshi, Rajat De, Rajarshi Bhattacharjee et al.
Offline Reinforcement Learning for Rotation Profile Control in Tokamaks
Rohit Sonker, Hiro Josep Farre Kaga, Jiayu Chen et al.
Online Adaptive Probabilistic Safety Certificate with Language Guidance
Zhuoyuan Wang, Xiyu Deng, Hikaru Hoshino et al.
Distributionally Robust Regret Optimal Control Under Moment-Based Ambiguity Sets
Feras Al Taha, Eilyan Bitar
Safe Control using Learned Safety Filters and Adaptive Conformal Inference
Sacha Huriot, Ihab Tabbara, Hussein Sibai
Workflow Search Reinforcement Learning over Structured Decompositions
Guangyu Jiang, Shu Hong, Mahdi Imani et al.
Certified Training with Branch-and-Bound for Lyapunov-stable Neural Control
Zhouxing Shi, Haoyu Li, Cho-Jui Hsieh et al.
Learning to Plan, Planning to Learn: Adaptive Hierarchical RL-MPC for Sample-Efficient Decision Making
Toshiaki Hori, Jonathan DeCastro, Deepak Edakkattil Gopinath et al.
Verifying Nonlinear Neural Feedback Systems using Polyhedral Enclosures
Samuel I. Akinwande, Chelsea Rose Sidrane, Mykel Kochenderfer et al.
TD-M(PC)$^2$: Improving Temporal Difference MPC Through Policy Constraint
Haotian Lin, Pengcheng Wang, Jeff Schneider et al.
Safe Planning in Interactive Environments via Iterative Policy Updates and Adversarially Robust Conformal Prediction
Omid Mirzaeedodangeh, Eliot Seo Shekhtman, Nikolai Matni et al.
Warm-starting active-set solvers using graph neural networks
Ella J. Schmidtobreick, Daniel Arnström, Paul Häusner et al.
BarrierBench: Evaluating Large Language Models for Safety Verification in Dynamical Systems
Ali Taheri, Alireza Taban, Sadegh Soudjani et al.
Improving EV Aggregate Flexibility with End-to-End Learning
Apoorva Thanvantri, Christopher Yeh, Nicolas Christianson et al.
When Environments Shift: Safe Planning with Generative Priors and Robust Conformal Prediction
Kaizer Rahaman, Jyotirmoy V. Deshmukh, Ashish R. Hota et al.
Trajectory-Level Experimental Design for Fast Safety Parameter Estimation of Unknown Environments by Autonomous Systems
Aneesh Raghavan, Karl Henrik Johansson
GCImOpt: Learning efficient goal-conditioned policies by imitating optimal trajectories
Jon Goikoetxea, Jesús F. Palacián