Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2312.03905
Cited By
A Pseudo-Semantic Loss for Autoregressive Models with Logical Constraints
6 December 2023
Kareem Ahmed
Kai-Wei Chang
Guy Van den Broeck
Re-assign community
ArXiv
PDF
HTML
Papers citing
"A Pseudo-Semantic Loss for Autoregressive Models with Logical Constraints"
12 / 12 papers shown
Title
A Probabilistic Neuro-symbolic Layer for Algebraic Constraint Satisfaction
Leander Kurscheidt
Paolo Morettin
Roberto Sebastiani
Andrea Passerini
Antonio Vergari
79
0
0
25 Mar 2025
Neuro-Symbolic AI in 2024: A Systematic Review
Brandon C. Colelough
William Regli
NAI
101
10
0
09 Jan 2025
NeSyA: Neurosymbolic Automata
Nikolaos Manginas
George Paliouras
Luc De Raedt
NAI
123
1
0
10 Dec 2024
NeuroLogic A*esque Decoding: Constrained Text Generation with Lookahead Heuristics
Ximing Lu
Sean Welleck
Peter West
Liwei Jiang
Jungo Kasai
...
Lianhui Qin
Youngjae Yu
Rowan Zellers
Noah A. Smith
Yejin Choi
24
159
0
16 Dec 2021
MultiplexNet: Towards Fully Satisfied Logical Constraints in Neural Networks
Nicholas Hoernle
Rafael-Michael Karampatsis
Vaishak Belle
Y. Gal
49
59
0
02 Nov 2021
FUDGE: Controlled Text Generation With Future Discriminators
Kevin Kaichuang Yang
Dan Klein
91
324
0
12 Apr 2021
NeuroLogic Decoding: (Un)supervised Neural Text Generation with Predicate Logic Constraints
Ximing Lu
Peter West
Rowan Zellers
Ronan Le Bras
Chandra Bhagavatula
Yejin Choi
NAI
65
143
0
24 Oct 2020
Neural Probabilistic Logic Programming in DeepProbLog
Robin Manhaeve
Sebastijan Dumancic
Angelika Kimmig
T. Demeester
Luc de Raedt
NAI
55
550
0
18 Jul 2019
SATNet: Bridging deep learning and logical reasoning using a differentiable satisfiability solver
Po-Wei Wang
P. Donti
Bryan Wilder
Zico Kolter
LRM
NAI
63
262
0
29 May 2019
Fast Lexically Constrained Decoding with Dynamic Beam Allocation for Neural Machine Translation
Matt Post
David Vilar
58
312
0
18 Apr 2018
Explainable Prediction of Medical Codes from Clinical Text
J. Mullenbach
Sarah Wiegreffe
J. Duke
Jimeng Sun
Jacob Eisenstein
FAtt
56
571
0
15 Feb 2018
A Knowledge Compilation Map
Adnan Darwiche
Pierre Marquis
66
948
0
09 Jun 2011
1