
Professor of Computer Science at UCLA @UCLAComSci; working on Artificial Intelligence
Los Angeles, CA
Joined April 2008
- Tweets75
- Following1.7K
- Followers4.1K
- Likes4.7K
Guy Van den Broeck retweeted
This is a very good take. Clarity is no longer coupled with performance in math and theory research. Both are important, and operating at this pareto front could be our goal. We just need to adjust academic incentives to reward the whole curve a bit better.
We're clearly moving to a pareto front of "strenght of result" vs. "understandability" and as long as you are on that pareto front, you are all good.
Guy Van den Broeck retweeted
Given the sudden and amazing ubiquity of formal proofs in systems that implement the calculus of inductive constructions these days, when will Thierry Coquand, Christine Paulin-Mohring, and Gérard Huet get the Turing Award?
Guy Van den Broeck retweeted
Cool research from @industriaalist. It's related to one of my favorite papers from @guyvdb arxiv.org/abs/2205.11502 which shows that transformers can represent many correct programs that backprop will never find. Below: a novel non-backprop based search mechanism.
Backprop has been the only credit assignment algorithm capable of training large neural nets.
Introducing Dust, the first zeroth-order method to pretrain transformers to approach and sometimes even *exceed* backprop with large amounts of computation (bitter lesson!)
- Dust is on the order of 1,000 to 10,000x more compute efficient than EGGROLL, the state-of-the-art ES method, for training transformers.
- We chose pretraining transformers because it's arguably the hardest task possible for zeroth-order optimization.
- Search in high dimensions is really misunderstood: zeroth-order usually gets better with overparameterization, not worse, i.e. at a fixed population size, larger models (up to 120x) reach a lower loss than smaller ones.
- Backprop-like gradients emerge from a large population of activation perturbations, and the alignment holds up at every scale we tested, up to 1B tokens, which is critical for scaling.
The core idea is a *virtual population*, which helps scale to large populations in transformers by perturbing activations in parallel.
w/ @bishmdl76, @cs_serdar, @akshayvegesna
Guy Van den Broeck retweeted
AI tools are very useful for mathematical research. But at present, producing good work requires a labor intensive step that I have been calling "deslopping" - making the thing readable. Please do not skip this step; even if the theorem is great an unreadable paper is worthless.
Guy Van den Broeck retweeted
Making Google's Paper Assistant Tool available to ICLR submitters: blog.iclr.cc/2026/09/10/maki…
Guy Van den Broeck retweeted
Terence Tao just posted this really insightful thread which seems to have been written in reaction to the Navier Stokes announcement. Please give it a read. mathstodon.xyz/@tao/11723732…
Guy Van den Broeck retweeted
A Probabilistic Interpretation of KV Cache Eviction
🙇♂️🙇♂️🙇♂️🙇♂️🙇♂️
“A Probabilistic Interpretation of KV Cache Eviction”
Most KV eviction methods use top-k heuristics to decide what to keep, but this can heavily distort attention after tokens are removed.
This paper reframes KV eviction as expectation estimation, then uses probabilistic sampling and importance weighting to correct for missing KV entries during decoding.
This gives a principled bias-variance tradeoff that stays competitive with existing methods while being more robust.
alphaxiv.org/abs/2608.28293
Guy Van den Broeck retweeted
What happens if you interpret attention scores as probabilities? We can then use sampling techniques in KV cache eviction. Check out our new paper!
“A Probabilistic Interpretation of KV Cache Eviction”
Most KV eviction methods use top-k heuristics to decide what to keep, but this can heavily distort attention after tokens are removed.
This paper reframes KV eviction as expectation estimation, then uses probabilistic sampling and importance weighting to correct for missing KV entries during decoding.
This gives a principled bias-variance tradeoff that stays competitive with existing methods while being more robust.
alphaxiv.org/abs/2608.28293
Guy Van den Broeck retweeted
“A Probabilistic Interpretation of KV Cache Eviction”
Most KV eviction methods use top-k heuristics to decide what to keep, but this can heavily distort attention after tokens are removed.
This paper reframes KV eviction as expectation estimation, then uses probabilistic sampling and importance weighting to correct for missing KV entries during decoding.
This gives a principled bias-variance tradeoff that stays competitive with existing methods while being more robust.
alphaxiv.org/abs/2608.28293
This might be a good time to mention my recent keynotes titled: "Agentic AI is Neurosymbolic AI"
Guy Van den Broeck retweeted
I would have assumed it was fairly obvious, but in case it's not: a million-line codebase (also known as a "harness"), running at inference time, orchestrating thousands of calls to a neural network for any given task, is the exact definition of a "neurosymbolic architecture"
Guy Van den Broeck retweeted
🚨 2yr postdoc position on #reliable #constrained generation with #deep #generative #AI with applications to biology 🚨
to work with me and @WouterBoomsmaDK on #AI that can generate complex structures guaranteed to satisfy physical constraints
👇👇👇
elxw.fa.em3.oraclecloud.com/…
Guy Van den Broeck retweeted
The ICLR 2027 CfP is up! iclr.cc/Conferences/2027/Cal…
Guy Van den Broeck retweeted
🍡Introducing a new constrained decoding approach for agentic LLMs:
1⃣guarantees successful tool calls with max_tokens=k (no truncation);
2⃣improves downstream performance with test time compute.
Presented now at #ICML2026 poster session 1 #1912 by @jieyuzhao11.
MoE routing shouldn’t be a hard top-k guess.
ProbMoE turns TopK routing into probabilistic inference over expert subsets, giving routers more informative gradients, more exploration, and better expert utilization. Because it’s probabilistic, it naturally extends to Dynamic-k, learning both which experts to use and how many each token needs.
Moreover, ProbMoE is broadly applicable to TopK-routed MoEs, while keeping training efficient through sparse expert execution.
Sparse compute. Smarter routing. 🚀
Guy Van den Broeck retweeted
A Canonical Generalization of OBDD arxiv.org/abs/2604.05537 (news.ycombinator.com/item?id…)
Guy Van den Broeck retweeted
Congratulations @itisalex3 on acceptance to #ACL2026 🎉 If you are interested in KV cache compression, I highly recommend reading this paper.
Guy Van den Broeck retweeted
Very excited to be leading this research direction, employing probabilistic programming to improve LLM inference for code generation.

























