Our first collaborative paper on the NSF Neuro-Symbolic Bridge project with RPI is online! It develops a novel way to get tight conformal prediction bounds on perception error in order to improve the accuracy of reachability verification.
Update: published and presented at NeuS’25!
Citation:
- Thomas Waite, Yuang Geng, Trevor Turnquist, Ivan Ruchkin*, and Radoslav Ivanov*.
State-Dependent Conformal Perception Bounds for Neuro-Symbolic Verification of Autonomous Systems [Arxiv] [Poster] [Slides summary] [Slides talk] [Github].
In Proceedings of the 2nd International Conference on Neuro-symbolic Systems (NeuS), Philadelphia, PA, 2025. * Co-last authors.