What do certified guarantees look like in the age of large language models and long reasoning chains? Look for us at EMNLP to find out!

If you're at ICML, in about 15 minutes, Weiqiu & I will be at our poster on sum-of-parts models: for faithful attributions and cosmology discovery. Stop by to say hi! East Exhibition Hall A-B #E-1208 Thu 17 Jul 11 a.m. - 1:30 p.m. PDT debugml.github.io/sum-of-parts/ #ICML @youweiqiu.bsky.social

LLM ignoring instructions? Make it listen with InstABoost. ✅ Simple: Steer your model in 5 lines of code ✅ Effective: Outperforms latent steering & prompt-only methods ✅ Grounded: Based on our mechanistic theory on rule-following (LogicBreaks) Blog: debugml.github.io/instaboost

🧠 Foundation models are reshaping reasoning. Do we still need specialized neuro-symbolic (NeSy) training, or can clever prompting now suffice? Our new position paper argues the road to generalizable NeSy should be paved with foundation models. 🔗 arxiv.org/abs/2505.24874 (🧵1/9)