Cover Image

LINC: A Neurosymbolic Approach for Logical Reasoning by Combining Language Models with First-Order Logic Provers

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Olausson, Theo X., Gu, Alex, Lipkin, Benjamin, Zhang, Cedegao E., Solar-Lezama, Armando, Tenenbaum, Joshua B., Levy, Roger
Format:	Preprint
Published:	2023
Subjects:	Computation and Language Artificial Intelligence
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Power Term Polynomial Algebra for Boolean Logic
by: Sansone, Emanuele, et al.
Published: (2026)

The Counterfeit Conundrum: Can Code Language Models Grasp the Nuances of Their Incorrect Generations?
by: Gu, Alex, et al.
Published: (2024)

Robustness of Neurosymbolic Reasoners on First-Order Logic Problems
by: Bansal, Hannah, et al.
Published: (2025)

Is Self-Repair a Silver Bullet for Code Generation?
by: Olausson, Theo X., et al.
Published: (2023)

On the Same Wavelength? Evaluating Pragmatic Reasoning in Language Models across Broad Concepts
by: Qiu, Linlu, et al.
Published: (2025)

A Tale of Two Temperatures: Simple, Efficient, and Diverse Sampling from Diffusion Language Models
by: Olausson, Theo X., et al.
Published: (2026)

Randomly Sampled Language Reasoning Problems Elucidate Limitations of In-Context Learning
by: Gupta, Kavi, et al.
Published: (2025)

Large Language Models Meet Symbolic Provers for Logical Reasoning Evaluation
by: Qi, Chengwen, et al.
Published: (2025)

FOLIO: Natural Language Reasoning with First-Order Logic
by: Han, Simeng, et al.
Published: (2022)

A Comparative Study of Neurosymbolic AI Approaches to Interpretable Logical Reasoning
by: Chen, Michael K.
Published: (2025)

Plausible Reasoning and First-Order Plausible Logic
by: Billington, David
Published: (2026)

CRUXEval: A Benchmark for Code Reasoning, Understanding and Execution
by: Gu, Alex, et al.
Published: (2024)

LILO: Learning Interpretable Libraries by Compressing and Documenting Code
by: Grand, Gabriel, et al.
Published: (2023)

Divide and Translate: Compositional First-Order Logic Translation and Verification for Complex Logical Reasoning
by: Ryu, Hyun, et al.
Published: (2024)

GradSTL: Comprehensive Signal Temporal Logic for Neurosymbolic Reasoning and Learning
by: Chevallier, Mark, et al.
Published: (2025)

First-Order Modal Logic via Logical Categories
by: Ghilardi, Silvio, et al.
Published: (2025)

An Enigma of Artificial Reason: Investigating the Production-Evaluation Gap in Large Reasoning Models
by: Sun, Mingzhong, et al.
Published: (2026)

Distributed First Order Logic
by: Ghidini, Chiara, et al.
Published: (2015)

First-Order Coalition Logic
by: Catta, Davide, et al.
Published: (2025)

Interpolation in First-Order Logic
by: Cate, Balder ten, et al.
Published: (2025)

First-Order Intuitionistic Linear Logic and Hypergraph Languages
by: Pshenitsyn, Tikhon
Published: (2025)

IID Relaxation by Logical Expressivity: A Research Agenda for Fitting Logics to Neurosymbolic Requirements
by: Stol, Maarten C., et al.
Published: (2024)

Autoformalizing Natural Language to First-Order Logic: A Case Study in Logical Fallacy Detection
by: Lalwani, Abhinav, et al.
Published: (2024)

FOL-Traces: Verified First-Order Logic Reasoning Traces at Scale
by: Lee, Isabelle, et al.
Published: (2025)

First-Order Fischer Servi Logic
by: Christensen, Ahmee
Published: (2024)

Diagrammatic Algebra of First Order Logic
by: Bonchi, Filippo, et al.
Published: (2024)

Implementing the First-Order Logic of Here and There
by: Otten, Jens, et al.
Published: (2026)

Complete First-Order Game Logic
by: Wafa, Noah Abou El, et al.
Published: (2025)

Neurosymbolic Framework for Concept-Driven Logical Reasoning in Skeleton-Based Human Action Recognition
by: Ilyas, Talha, et al.
Published: (2026)

On Scaling Neurosymbolic Programming through Guided Logical Inference
by: Valentin, Thomas Jean-Michel, et al.
Published: (2025)

When Do Skills Help Reinforcement Learning? A Theoretical Analysis of Temporal Abstractions
by: Li, Zhening, et al.
Published: (2024)

SPARLING: Learning Latent Representations with Extremely Sparse Activations
by: Gupta, Kavi, et al.
Published: (2023)

Amortizing Maximum Inner Product Search with Learned Support Functions
by: Olausson, Theo X., et al.
Published: (2026)

Reasons for Logic, Logic for Reasons
by: Heyndels, Sybren
Published: (2025)

First Order Logic on Pathwidth Revisited Again
by: Lampis, Michael
Published: (2022)

Wright's First-Order Logic of Strict Finitism
by: Yamada, Takahiro
Published: (2024)

On the Satisfiability of Local First-Order Logics with Data
by: Bollig, Benedikt, et al.
Published: (2023)

Lifted Inference beyond First-Order Logic
by: Malhotra, Sagar, et al.
Published: (2023)

Quantitative Monitoring of Signal First-Order Logic
by: Chalupa, Marek, et al.
Published: (2026)

Doctrinal Semantics of Directed First-Order Logic
by: Laretto, Andrea, et al.
Published: (2025)