David Boetius

Regardless of whether HRM lives up to the hype, it’s a good stress test for alignment / AI security strategies.
Does your approach accommodate the sudden appearance of a new paradigm that outperforms LLMs? If not, it might be too brittle.

03.08.2025 19:16 — 👍 48    🔁 7    💬 5    📌 0

We have open-sourced anonymized data and core analysis code for our developer productivity RCT.

The paper is also live on arXiv, with two new sections: One discussing alternative uncertainty estimation methods, and a new 'bias from developer recruitment' factor that has unclear effect on slowdown.

30.07.2025 20:10 — 👍 28    🔁 8    💬 1    📌 0

Poster „Solving Probabilistic Verification Problems of Neural Networks using Branch and Bound“

I‘ll be presenting my poster on solving probabilistic verification problems of NNs at ICML today! Meet me at poster E-2302 :)

17.07.2025 17:01 — 👍 3    🔁 1    💬 0    📌 0

Personally, I would rather use „true“ as a stand-in for fidelity when talking about explanations

12.06.2025 12:05 — 👍 1    🔁 0    💬 0    📌 0

But I think that’s also what Occam‘s razor is used for. You have two explanations but one is longer. Which is the „true“ one? => Occam‘s razor. But I‘d say „better“ is the better word than „true“ here.

12.06.2025 12:04 — 👍 1    🔁 0    💬 1    📌 0

I would assumed that you have to make explanations identifiable using something akin to Occam‘s razor

11.06.2025 20:07 — 👍 1    🔁 0    💬 1    📌 0

Wow

08.06.2025 18:18 — 👍 112    🔁 10    💬 7    📌 2

Thanks @icmlconf.bsky.social for gifting me the conference registration

29.05.2025 08:06 — 👍 1    🔁 0    💬 0    📌 0

Just got notified that I was selected as an ICML top reviewer! I really enjoy reviewing and I‘m happy to know that I‘m apparently also good at it 😊

29.05.2025 08:04 — 👍 3    🔁 0    💬 1    📌 0

To be presented at ICML 2025

arxiv.org/pdf/2405.17556

02.05.2025 16:57 — 👍 2    🔁 1    💬 0    📌 0