conftrace_

lipschitz optimization

4 papers

Explore in graph

Co-occurring keywords · papers mentioning both

formal verification (2) adaptive lower bound (1) control system (1) lipschitz bandit (1) reachability analysis (1) similarity metric (1) neural network controller (1) projective geometry (1) robustness guarantee (1) autonomous system (1)

Papers

ECPv2: Fast, Efficient, and Scalable Global Optimization of Lipschitz Functions AAAI 2026 Lipschitz Optimization for Formal Verification of Homographies CVPR 2026 Reachability Analysis of Neural Network Control Systems AAAI 2023 Multi-armed bandits on implicit metric spaces NeurIPS 2011