Category: Talk

Ivan had the honor of attending an invitation-only visionary workshop #235 on LLM-guided assurance and synthesis for CPS in Shonan, Japan. He presented the lab’s work on calibrating chain-of-thought confidence by discovering temporal patterns with Signal Temporal Logic. My slides can be found here. Some of the prominent debates at the workshop included:

​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.