I am at #PLDI where I will present work on heterogeneous systems verification on Friday: Inspired by Satisfiability Modulo Theories we propose a framework for the combination of program logics while reusing proof infrastructure. Below a peak of some slides Details: pldi26.sigplan.org/details/pldi...

Our paper on Heterogeneous Dynamic Logic has been accepted at #PLDI 2026 🥳 HDL lets you reason about systems mixing different computational models (in Cyber-Physical Systems and beyond) while *reusing* existing proof infrastructure for homogeneous subsystems. Preprint: arxiv.org/abs/2507.08581

I‘m excited to present my work on Provably Safe Neural Network Control at @horizonomega.org‘s Guaranteed Safe AI online seminar on April 9th. The talk will based on my NeurIPS‘24 paper with some updates on what I’ve been up to since :) Feel free to join if you’re interested:

Thank you @etapsconf.bsky.social for the great event — so many interesting talks and discussions at #etaps this year! I also had the opportunity to present my #tacas paper on verifying behavioral equivalence of neural networks 😃

Our paper on confidence-based equivalence verification of NNs has just been accepted to #TACAS25 🥳 I'm looking forward to present our new Zonotope-based abstract domain -- we also explored which equivalence properties are more/less amenable to differential verification... teuber.dev/publication/...

If you're at #NeurIPS this week: I'm organising a "Formal Methods and AI" dinner on Saturday evening. You can find the details in the Whova App (-> Meet-ups -> Formal Methods and AI Dinner).

If you want to learn more about steering Cyber-Physical Systems with Neural Networks and *without* crashes, visit my #NeurIPS poster 4201 Thursday afternoon!

This is really cool! I'm obviously nitpicking here, but I think it's very meta that quite a few papers on Neural Network Verification are right around the "decision boundary" of the Adversarial Robustness cluster...

Perfection

You want to ensure that your neural network *never* crashes your control system? Our (now accepted 🥳) #NeurIPS paper introduces: - Reusing control theory for NN verification - Verifying *nonlinear arithmetic* specs on NNs This guarantees your NN won't behave like this (1/12):

Hello everyone! I'm giving this platform a shot now after what Twitter has become...