LogicMP: A Neuro-symbolic Approach for Encoding First-order Logic Constraints
Work
Year: 2023
Type: preprint
Abstract: Integrating first-order logic constraints (FOLCs) with neural networks is a crucial but challenging problem since it involves modeling intricate correlations to satisfy the constraints. This paper pro... more
Source: arXiv (Cornell University)
Cites:
Cited by:
Related to: 10
Citation percentile (by year/subfield):
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Open Access status: green