Guy Van den Broeck

A Roadmap Towards Practical Applications of Neurosymbolic Learning and Reasoning

Grab a Coffee: Future-Aware Guidance for Discrete Diffusion with Compiled Objectives

Discrete diffusion models generate sequences by iteratively resolving multiple tokens in parallel, offering a flexible alternative to left-to-right generation. However, guiding this process with a sequence-level objective is difficult because the value of one unresolved token depends on the other tokens with which it c...

A Probabilistic Interpretation of KV Cache Eviction

This paper formalizes the problem of KV eviction and proves that it is computationally hard, and shows that this probabilistic version of KV eviction coupled with decode time correction is more robust to different tasks compared to existing eviction methods and achieves competitive performance at the same compression b...