David Boetius

Ah! learning and meta-learning

A user demonstrates position-orientation motions, which lie on a Riemannian manifold. Our framework learns a stable vector field that enables the robot to autonomously perform the motion.

Need to ensure stability of your neural ODE, but on a Riemannian manifold? 🤔 Worry no more! Our latest paper has you covered: robot-learning-control-lab.github.io/snmode-proje...

Cool paper on probabilistic verification using neuron splitting branch and bound! Uses Monte Carlo estimates of probabilities instead of computing the exact probabilities. IMO this is the main driver of the efficiency gain, as neuron splitting is too costly without it (previous works tried).

Juan Ramirez, Simon Lacoste-Julien: Dual Optimistic Ascent (PI Control) is the Augmented Lagrangian Method in Disguise https://arxiv.org/abs/2509.22500 https://arxiv.org/pdf/2509.22500 https://arxiv.org/html/2509.22500

Sorry to hear that you see yourself as a fractured (twice), Opus

Lyapunov maybe

ChatGPT 5 Instant v ① Share • •• this guy just messaged me to "hop on a quick call" how long are those supposed to last typically?? A "quick call" can last anywhere from 5 minutes to 2-4 months. Some quick calls have even been going on since the early 1900s, with ancestors continuing the conversation to loop in key stakeholders and ensure cross-generational synergies with a warm handoff. But this would be a lot easier to explain over voice mode - do you have 5 minutes to hop on a call?

whoah, TIL

Signal notification: „you may have new messages“

You may or my not have new messages

Props to the person doing some actual work on this Saturday by mowing the overgrown lawn in front of my office while I sit at my desk

Also, my first take would be that suffering requires some feedback from the „hardware“ you’re running on if pain and emotions can be described that way

To what extent do you think apps that simulate historical figures using AI do create something like AI Clark?

Good news! According to our weekly lab poll the internet wasn’t dead last week. 📈 But with only two votes. 2️⃣

Just submitted the manuscript for the 2nd edition of Swarm Robotics: A Formal Approach 🎉

✅ ~2× the size
✅ fully updated with latest research
✅ ready4the breakthrough years ahead

Thanks to all who supported! Now in production—stay tuned.

Now it's in production – stay tuned.

#swarm #robotics #book

It will be: „how does group X fix a flickering LED“

When you go to the court and hit an unexpected three 🏀🏀🏀 then turn around and notice you‘re alone… This is how LRMs feel when they write to their reasoning buffer

Interesting paper!

Contemplating this post will make you enlightened about LLMs in software

It‘s easy! Just add an index to each adjective or use primed adjectives!

This doesn't seem like an accurate summary to me. They tested CGP and LLM-assisted ES separately without combining the results (although they mention doing that in the future). And the improved performance is just compared to the Kalman filter, in scenarios where the Kalman filter is non-optimal

Data-Driven Discovery of Interpretable Kalman Filter Variants through Large Language Models and Genetic Programming ArXiv link for Data-Driven Discovery of Interpretable Kalman Filter Variants through Large Language Models and Genetic Programming

Harvard researchers developed a framework combining Cartesian Genetic Programming and Large Language Models to discover new Kalman Filter variants. This method yields algorithms that excel beyond traditional ones, a major advance in scientific computing. https://arxiv.org/abs/2508.11703

Up until now I thought it was calling strawberries straw*berries* and not strawnuts

Yeah it’s just doing the agile the agentic way

I got a division by zero warning from numpy when I tried to reproduce this…

Yes! Polynoulli would be correct.

The same pie chart as in the post in black and white.

A major mess-up with the colour palette is also that the colours all have different brightness. People tend to subconsciously interpret that as better/worse. Shouldn't have that for a categorical colour map but maybe here it was intended? 😂

I can differentiate Mamdani and Undecided quite well, but Cuomo and Walden are definitely the same colour 😂

Goes to show that colour vision is tricky (but it might also be our screens)...

Nice colormap I didn’t get to use thus far 🍭 #UseBatlow

Unintuitive data visualisation with random changes between neighbouring data values introducing artificial gradients to the data visualisation.

Intuitive and scientific data visualisation with equal changes between neighbouring data values representing the data set accurately (and accessibly) as a whole to the non-expert audience.

Scales (such as a colour bar) that are meant to represent one dimension of a data set can’t be used to highlight data ranges.

Instead, use superposed contour lines instead if you must know the individual values clearly on a map.

Here’s a crude example of how this map could be shown.

📊 #UseBatlow

Pie chart and *other issues* aside, the color scheme seems to be red/green color deficiency safe (at least according the simulator)

Marxist superintelligence or just human level?