Cover Image

Can LLM Aid in Solving Constraints with Inductive Definitions?

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Feng, Weizhi, Shen, Shidong, Liu, Jiaxiang, Chen, Taolue, Song, Fu, Wu, Zhilin
Format:	Preprint
Published:	2026
Subjects:	Logic in Computer Science Artificial Intelligence
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Deciding Separation Logic with Pointer Arithmetic and Inductive Definitions
by: Su, Wanyun, et al.
Published: (2024)

Automated Completion of Statements and Proofs in Synthetic Geometry: an Approach based on Constraint Solving
by: Gonzalez, Salwa Tabet, et al.
Published: (2024)

Towards Solving More Challenging IMO Problems via Decoupled Reasoning and Proving
by: Liang, Zhenwen, et al.
Published: (2025)

Learning First-Order Rules with Relational Path Contrast for Inductive Relation Reasoning
by: Pan, Yudai, et al.
Published: (2021)

Differentiable Inductive Logic Programming in High-Dimensional Space
by: Purgał, Stanisław J., et al.
Published: (2022)

Hologram Reasoning for Solving Algebra Problems with Geometry Diagrams
by: Huang, Litian, et al.
Published: (2024)

Scaling Neuro-symbolic Problem Solving: Solver-Free Learning of Constraints and Objectives
by: Defresne, Marianne, et al.
Published: (2025)

Eidoku: A Neuro-Symbolic Verification Gate for LLM Reasoning via Structural Constraint Satisfaction
by: Miya, Shinobu
Published: (2025)

Can Transformers Reason Logically? A Study in SAT Solving
by: Pan, Leyan, et al.
Published: (2024)

Orthologic for SAT Solving
by: de Haldat, Vladislas, et al.
Published: (2026)

A Formal Framework for the Definition of 'State': Hierarchical Representation and Meta-Universe Interpretation
by: Itoh, Kei
Published: (2025)

Optimal Circuit Synthesis of Linear Codes for Error Detection and Correction
by: Yang, Xi, et al.
Published: (2026)

Chronosymbolic Learning: Efficient CHC Solving with Symbolic Reasoning and Inductive Learning
by: Luo, Ziyan, et al.
Published: (2023)

An Automated Theorem Generator with Theoretical Foundation Based on Rectangular Standard Contradiction
by: Xu, Yang, et al.
Published: (2025)

Solving reachability problems on data-aware workflows
by: De Masellis, Riccardo, et al.
Published: (2019)

Temporal Inductive Logic Reasoning over Hypergraphs
by: Yang, Yuan, et al.
Published: (2022)

Inductive Generalization in Reinforcement Learning from Specifications
by: Subramanian, Vignesh, et al.
Published: (2024)

GaloisSAT: Differentiable Boolean Satisfiability Solving via Finite Field Algebra
by: Kim, Curie, et al.
Published: (2026)

Defining implication relation for classical logic
by: Fu, Li
Published: (2013)

Inductive Learning of Robot Task Knowledge from Raw Data and Online Expert Feedback
by: Meli, Daniele, et al.
Published: (2025)

Solving Satisfiability Modulo Counting Exactly with Probabilistic Circuits
by: Li, Jinzhao, et al.
Published: (2025)

Delta1 with LLM: symbolic and neural integration for credible and explainable reasoning
by: Xu, Yang, et al.
Published: (2026)

Solving Decision Theory Problems with Probabilistic Answer Set Programming
by: Azzolini, Damiano, et al.
Published: (2024)

Solving Epistemic Logic Programs using Generate-and-Test with Propagation
by: Fandinno, Jorge, et al.
Published: (2024)

Direct Encoding of Declare Constraints in ASP
by: Chiariello, Francesco, et al.
Published: (2024)

Satisfiability Solving with LLMs: A Matched-Pair Evaluation of Reasoning Capability
by: Zhang, Leizhen, et al.
Published: (2026)

Decomposition Strategies and Multi-shot ASP Solving for Job-shop Scheduling
by: El-Kholany, Mohammed M. S., et al.
Published: (2022)

From Circuit Evidence to Mechanistic Theory: An Inductive Logic Approach
by: Aljaafari, Nura, et al.
Published: (2026)

GLIDR: Graph-Like Inductive Logic Programming with Differentiable Reasoning
by: Johnson, Blair, et al.
Published: (2025)

Towards Constraint Temporal Answer Set Programming
by: Cabalar, Pedro, et al.
Published: (2025)

State Definition for Conflict Analysis with Four-valued Logic
by: Kato, Yukiko
Published: (2022)

FLINGO -- Instilling ASP Expressiveness into Linear Integer Constraints
by: Fandinno, Jorge, et al.
Published: (2026)

Robustness of Constraint Automata for Description Logics with Concrete Domains
by: Demri, Stéphane, et al.
Published: (2026)

Structured Abductive-Deductive-Inductive Reasoning for LLMs via Algebraic Invariants
by: Gilda, Sankalp, et al.
Published: (2026)

Can Large Language Models Autoformalize Kinematics?
by: Kabra, Aditi, et al.
Published: (2025)

RvLLM: LLM Runtime Verification with Domain Knowledge
by: Zhang, Yedi, et al.
Published: (2025)

Solving the Two-dimensional single stock size Cutting Stock Problem with SAT and MaxSAT
by: Van Kieu, Tuyen, et al.
Published: (2026)

Where to Search: Measure the Prior-Structured Search Space of LLM Agents
by: Song, Zhuo-Yang
Published: (2025)

Learning Logic Specifications for Policy Guidance in POMDPs: an Inductive Logic Programming Approach
by: Meli, Daniele, et al.
Published: (2024)

Beyond Theorem Proving: Formulation, Framework and Benchmark for Formal Problem-Solving
by: Liu, Qi, et al.
Published: (2025)