conftrace_

jacobian

3 papers

Explore in graph

Co-occurring keywords · papers mentioning both

nonlinear system dynamics (1) relu-based neural cbfs (1) symbolic derivative bounds propagation (1) verification framework (1) adversarial path simplices (1) closed-form alignment (1) eigenvalue repulsion (1) spectral densities (1) heavy-tailed (1) hessian (1)

Papers

Improving Zero-Shot Adversarial Robustness in Vision-Language Models by Closed-form Alignment of Adversarial Path Simplices ICML 2025 Models of Heavy-Tailed Mechanistic Universality ICML 2025 Verification of Neural Control Barrier Functions with Symbolic Derivative Bounds Propagation CoRL 2024