🔥The 9th Round of Easy Loan, Earn $40 Reward is in progress❗️ ⏰ Promotion Period: January 15th - Feburary 15th, 2025 👉 Register now and check more details at gate.io/campaigns/358

My colleague Jyo Deshmukh and I gave a short tutorial on "Formal Verification and Control with Conformal Prediction: Practical Safety Guarantees for Autonomous Systems" at the NSF CPS PI meeting. We were asked for slides and made them available here: tinyurl.com/rcx37pj6 🙂

Joint Gym Session with my wonderful supervisor at Gold’s Gym Venice (Mecca of Bodybuilding) 💪🔥😎 Lars Lindemann

Taking a break from writing CDC papers. In another life I’ll become a full time cyclist 🚴‍♂️🏝️ IEEE CDC 2025

Sub 21 rounds down? strava.app.link/MvFj7G6qXRb

Our 2025 RSS workshop on "Statistical Uncertainty Quantification in the Era of AI-Enabled Robots" got accepted. We have an amazing lineup of tentative speakers, see sites.google.com/view/rss2025-w… 🚀 The workshop will be held at USC on June 25th (and we guarantee excellent weather 🏖️🌴)

Check out the new work of my student Yiqi Zhao on distributionally robust predictive runtime verification (aka failure prediction/detection) for multi-agent systems 🚀🚀🚀 Joint work with TRINA and Bardh Hoxha

We did a big update of our survey "Formal Verification and Control with Conformal Prediction" (arxiv.org/pdf/2409.00536). Among other things, we now provide a detailed comparison of conformal prediction with UQ alternatives. Big thank to the reviewers for really good suggestions!

A few days ago, we dropped 𝗮𝗻𝘁𝗶𝗱𝗶𝘀𝘁𝗶𝗹𝗹𝗮𝘁𝗶𝗼𝗻 𝘀𝗮𝗺𝗽𝗹𝗶𝗻𝗴 🚀 . . . and we've gotten a little bit of pushback. But whether you're at a frontier lab or developing smaller, open-source models, this research should be on your radar. Here's why 🧵

Excited to present our paper on a logic-based perspective of LLM jailbreaks with Avishree Khare at @ICLR_conf this Saturday, April 26! Poster #268 in Hall 3+2B at 15:00 Singapore time 📄 arXiv: arxiv.org/abs/2407.00075 🔗 Blog: debugml.github.io/logicbreaks/ \begin{thread}

We have almost finalized the material for our three hour tutorial on "Formal Verification and Control with Conformal Prediction" for the CPS Week at UCI next week on May 6th 🚀 You can still register for the event: cps-iot-week2025.ics.uci.edu/registration.p… Looking forward seeing many of you 😎

We have made an update on our paper "Conformal Predictive Programming" available at arxiv.org/pdf/2402.07407. The updates include more detailed comparison to existing Chance Constrained Optimization Methods and generalization to conditional guarantees, etc.

Very well deserved, big congratulations Kegan Strawn. Proud of you 😊

When in Atlanta 🍔🍟 With Yiannis Kantaros, Alex Robey, Juan Cervino, Sander Tonkens, Nikolay A. Atanasov, and Zac Ravichandran

I gave an in-depth tutorial on "Formal Verification and Control with Conformal Prediction" at KTH today 🚀 Since I got positive feedback, I wanted to share the presentation, in the hope that others can also benefit from it 🙂 Find the recording here: youtu.be/kfPBjaMCXmM?si…