Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2505.23061
Cited By
DINGO: Constrained Inference for Diffusion LLMs
29 May 2025
Tarun Suresh
Debangshu Banerjee
Shubham Ugare
Sasa Misailovic
Gagandeep Singh
DiffM
Re-assign community
ArXiv
PDF
HTML
Papers citing
"DINGO: Constrained Inference for Diffusion LLMs"
17 / 17 papers shown
Title
Syntactic and Semantic Control of Large Language Models via Sequential Monte Carlo
João Loula
Benjamin LeBrun
Li Du
Ben Lipkin
Clemente Pasti
...
Ryan Cotterel
Vikash K. Mansinghka
Alexander K. Lew
Tim Vieira
Timothy J. O'Donnell
75
4
0
17 Apr 2025
Block Diffusion: Interpolating Between Autoregressive and Diffusion Language Models
Marianne Arriola
Aaron Gokaslan
Justin T Chiu
Zhihan Yang
Zhixuan Qi
Jiaqi Han
Subham Sekhar Sahoo
Volodymyr Kuleshov
DiffM
146
11
0
12 Mar 2025
Large Language Diffusion Models
Shen Nie
Fengqi Zhu
Zebin You
Xiaolu Zhang
Jingyang Ou
Jun Hu
Jun Zhou
Yankai Lin
Ji-Rong Wen
Chongxuan Li
152
38
0
14 Feb 2025
GSM-Symbolic: Understanding the Limitations of Mathematical Reasoning in Large Language Models
Iman Mirzadeh
Keivan Alizadeh
Hooman Shahrokhi
Oncel Tuzel
Samy Bengio
Mehrdad Farajtabar
AIMat
LRM
68
160
0
07 Oct 2024
Automata-based constraints for language model decoding
Terry Koo
Frederick Liu
Luheng He
AI4CE
62
17
0
11 Jul 2024
Grammar-Aligned Decoding
Kanghee Park
Jiayu Wang
Taylor Berg-Kirkpatrick
Nadia Polikarpova
Loris Dántoni
62
12
0
31 May 2024
SynCode: LLM Generation with Grammar Augmentation
Shubham Ugare
Tarun Suresh
Hangoo Kang
Sasa Misailovic
Gagandeep Singh
50
13
0
03 Mar 2024
Efficient Guided Generation for Large Language Models
Brandon T. Willard
Rémi Louf
57
32
0
19 Jul 2023
LeanDojo: Theorem Proving with Retrieval-Augmented Language Models
Kaiyu Yang
Aidan M. Swope
Alex Gu
Rahul Chalamala
Peiyang Song
Shixing Yu
Saad Godil
R. Prenger
Anima Anandkumar
RALM
47
224
0
27 Jun 2023
Sequential Monte Carlo Steering of Large Language Models using Probabilistic Programs
Alexander K. Lew
Tan Zhi-Xuan
Gabriel Grand
Vikash K. Mansinghka
LLMSV
LRM
70
36
0
05 Jun 2023
Logic-LM: Empowering Large Language Models with Symbolic Solvers for Faithful Logical Reasoning
Liangming Pan
Alon Albalak
Xinyi Wang
William Yang Wang
ReLM
LRM
AI4CE
56
252
0
20 May 2023
Validating Large Language Models with ReLM
Michael Kuchnik
Virginia Smith
George Amvrosiadis
63
30
0
21 Nov 2022
SSD-LM: Semi-autoregressive Simplex-based Diffusion Language Model for Text Generation and Modular Control
Xiaochuang Han
Sachin Kumar
Yulia Tsvetkov
72
85
0
31 Oct 2022
Synchromesh: Reliable code generation from pre-trained language models
Gabriel Poesia
Oleksandr Polozov
Vu Le
A. Tiwari
Gustavo Soares
Christopher Meek
Sumit Gulwani
55
160
0
26 Jan 2022
Evaluating Large Language Models Trained on Code
Mark Chen
Jerry Tworek
Heewoo Jun
Qiming Yuan
Henrique Pondé
...
Bob McGrew
Dario Amodei
Sam McCandlish
Ilya Sutskever
Wojciech Zaremba
ELM
ALM
155
5,328
0
07 Jul 2021
Structured Denoising Diffusion Models in Discrete State-Spaces
Jacob Austin
Daniel D. Johnson
Jonathan Ho
Daniel Tarlow
Rianne van den Berg
DiffM
109
900
0
07 Jul 2021
PyTorch: An Imperative Style, High-Performance Deep Learning Library
Adam Paszke
Sam Gross
Francisco Massa
Adam Lerer
James Bradbury
...
Sasank Chilamkurthy
Benoit Steiner
Lu Fang
Junjie Bai
Soumith Chintala
ODL
271
42,038
0
03 Dec 2019
1