activity
20122026
most citedScaling Exact Inference for Discrete Probabilistic Programs

83 citations · 616 across the 106 of their papers we have counts for

collaborators

116 papers

cs.RO2026

Meta-Ctrl: Guaranteed Plan Generation by Decoupling Syntactic and Semantic Constraints

Gwen Yidou-Weng, Edward Sun, Tianyi Ma +5

LLMs generate fluent plans for robots but routinely violate the syntactic and se8mantic constraints they must satisfy to execute, and existing remedies trade formal guarantees agai…

cs.LG2026

Interpretable Causal Discovery via Causal-Effect Constraints

Cixuan Zhang, Guy Van den Broeck, Benjie Wang

Causal discovery aims to uncover the underlying causal relationships given data generated from a system. The goal, however, is not merely to predict causal edges given data, but al…

cs.CL2026

The Parser Already Knows: Lightweight Bias Correction in Constrained Decoding

Işıl Özgü, Yaoxuan Wu, Guy Van den Broeck +1

Grammar Constrained Decoding (GCD) forces Language Models (LMs) to produce syntactically valid outputs by masking out non-conforming tokens at each step. However, because masking o…

cs.SE2026

Making Embodied AI Reliable: A Community Agenda from Testing to Formal Verification

Xi Zheng, Dulanga Weerakoon, Yintong Huo +8

Embodied AI systems are increasingly deployed in open-world environments, yet ensuring their reliability remains a fundamental challenge. Drawing on discussions from the AAAI'26 Br…

cs.CL2026

Mitigating Bias in Locally Constrained Decoding via Tractable Proposals

Meihua Dang, Linxin Song, Honghua Zhang +3

Generations from large language models often fail to conform to desired constraints such as JSON schema. Existing locally constrained decoding (LCD) approaches enforce constraints…

cs.LG2026

ProbMoE: Differentiable Probabilistic Routing for Mixture-of-Experts

Heng Zhao, Zilei Shao, Guy Van den Broeck +1

Mixture-of-Experts (MoE) models scale by activating only a small subset of experts per token. However, training such models remains challenging because top- routing is discrete…