State-Dependent Conformal Perception Bounds for Neuro-Symbolic Verification of Autonomous Systems. - Thomas Waite; Yuang Geng; Trevor Turnquist; Ivan Ruchkin; Radoslav Ivanov (NeuS, 2025)