Professor of Computer Science at UCLA @UCLAComSci; working on Artificial Intelligence

Los Angeles, CA
Joined April 2008
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.
1
12
1,122
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.
Apparently, my coauthor pointed out that the OpenAI theorem drop included something we were working on (with AI help, of course). The OpenAI result has better bounds than we achieved, but it's also unreadable. Any advice on what I'm supposed to do now?
2
3
2
28
3,107
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?
6
24
2
156
5,104
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
4
9
91
6,579
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.
13
28
7
217
28,462
Guy Van den Broeck retweeted
Making Google's Paper Assistant Tool available to ICLR submitters: blog.iclr.cc/2026/09/10/maki…
3
28
2
264
43,668
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
1
2
4
545
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
2
5
14
2,207
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
2
27
2
178
12,060
This might be a good time to mention my recent keynotes titled: "Agentic AI is Neurosymbolic AI"
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"
15
50
8
415
53,011
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"
162
292
87
3,432
477,544
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/…
4
2
19
2,658
Guy Van den Broeck retweeted
The ICLR 2027 CfP is up! iclr.cc/Conferences/2027/Cal…
6
30
9
218
160,306
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.
4
7
1
41
8,002
Guy Van den Broeck retweeted
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. 🚀
1
6
1
25
2,542
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.
What happens when we compress the KV cache of prompts with multiple instructions? 🤔 Existing compression methods can lead to some instructions being ignored. 🙀 We propose simple changes to KV cache eviction that fix this problem alongside other pitfalls to be aware of. 💯
3
28
2,568
Guy Van den Broeck retweeted
Very excited to be leading this research direction, employing probabilistic programming to improve LLM inference for code generation.
When you prompt an LLM for code, you get one deterministic program. However, the LLM actually defines a distribution over many programs, and existing methods discard it‼️ PPoT uses this distribution to extract free performance and efficiency gains. 🧵👇
1
4
44
7,331