Lars Lindemann

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 🧵

We spent some time thinking about how to express and verify spatial and temporal properties for distributed systems and came up with STL-GO, a spatio-temporal logic with graph operators. Check out @ZhaoYiqi87035 work if you're curious 🙂

Today is the day: our RSS workshop on "Statistical Uncertainty Quantification in the Era of AI-Enabled Robots" is starting soon 😊 If you are attending RSS, drop by and say hi. Otherwise, join us online via zoom (details can be found here sites.google.com/view/rss2025-w…). See you soon!

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…

When in Atlanta 🍔🍟 With @YiannisKantaros, @AlexRobey23, @juancervinouy, @SanderTonkens, @natanaso, and @ZacRavichandran

Very well deserved, big congratulations @KeganStrawn. Proud 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.

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 😎

Excited to present our paper on a logic-based perspective of LLM jailbreaks with @Avishreekh 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 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!

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

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 🏖️🌴)