Category: Conference

​Ivan went all the way to Croatia to tell people how to put conformal prediction in a closed loop at the International Conference on Computer-Aided Verification (CAV). Doing so would let you verify autonomous systems with neural networks of any size (yes, even a VLA model like RT-2!).  The decisive question is, to apply conformal prediction at…

Ivan revisited his old grazing grounds in Philly to present 4 principles for making world models more physically grounded. There was an intense discussion of whether purely symbolic simulators should count as generative world models.  Citation:  In the meantime, the RPI collaborators Thomas and Rado presented a joint work on state-based conformal prediction. Citation: 

To the audience’s excitement, Jordan and Ivan presented the lab’s work on principles of physically interpretable work models in two capacities:  Citation: 

Several events transpired at the CPS-IoT Week in Irvine, CA:  Jordan presented his poster (pictured) on probabilistic verification & validation at HSCC.  Ivan presented his collaborative work on imprecise neural networks at HSCC.  Ivan chaired the ICCPS poster/demo session and a couple of paper sessions, and also judged posters in the PhD forum. 

Ivan gave an invited talk “How Safe Will I Be Given What I See? Calibrated Visual Safety Chance Prediction with (Foundation) World Models”. The discussion was very active and generated sufficient questions for the rest of Zhenjiang’s PhD.  Relevant links:  Talk page Workshop page Conference page Slides Talk abstract: In safety-critical autonomous systems, safety prediction…

Yuang Geng presented his work on reachability for vision-based neural-network controllers at the 26th International Symposium on Formal Methods (FM). Reportedly, the attendees are curious about the mapping between states and images.  Citation and further materials: