Buchumschlag

Logic.py: Bridging the Gap between LLMs and Constraint Solvers

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Kesseli, Pascal, O'Hearn, Peter, Cabral, Ricardo Silveira
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Artificial Intelligence Logic in Computer Science 68T27 F.4.1; I.2.3; I.2.8
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Tractable and Intractable Entailment Problems in Separation Logic with Inductively Defined Predicates
von: Echenim, Mnacho, et al.
Veröffentlicht: (2023)

TPTP World Infrastructure for Non-classical Logics
von: Steen, Alexander, et al.
Veröffentlicht: (2025)

Bayesian Epistemology with Weighted Authority: A Formal Architecture for Truth-Promoting Autonomous Scientific Reasoning
von: Wright, Craig S.
Veröffentlicht: (2025)

Which are the True Defeasible Logics?
von: Maher, Michael J.
Veröffentlicht: (2024)

An Encoding of Abstract Dialectical Frameworks into Higher-Order Logic
von: Martina, Antoine, et al.
Veröffentlicht: (2023)

Chain-Oriented Objective Logic with Neural Network Feedback Control and Cascade Filtering for Dynamic Multi-DSL Regulation
von: Han, Jipeng
Veröffentlicht: (2024)

Constraint Satisfaction Approaches to Wordle: Novel Heuristics and Cross-Lexicon Validation
von: Arafat, Jahidul, et al.
Veröffentlicht: (2025)

Encoding argumentation frameworks with set attackers to propositional logic systems
von: Tang, Shuai, et al.
Veröffentlicht: (2025)

Encoding higher-order argumentation frameworks with supports to propositional logic systems
von: Tang, Shuai
Veröffentlicht: (2025)

A Reduction of Input/Output Logics to SAT
von: Steen, Alexander
Veröffentlicht: (2025)

Intersymbolic AI: Interlinking Symbolic AI and Subsymbolic AI
von: Platzer, André
Veröffentlicht: (2024)

XAutoLM: Efficient Fine-Tuning of Language Models via Meta-Learning and AutoML
von: Estevanell-Valladares, Ernesto L., et al.
Veröffentlicht: (2025)

LTL Verification of Memoryful Neural Agents
von: Hosseini, Mehran, et al.
Veröffentlicht: (2025)

An Explainable Collaborative Dialogue System using a Theory of Mind
von: Cohen, Philip R., et al.
Veröffentlicht: (2023)

A novel framework for systematic propositional formula simplification based on existential graphs
von: de Mas, Jordina Francès, et al.
Veröffentlicht: (2024)

Tao's Equational Proof Challenge Accepted (Technical Report)
von: Kondylidou, Lydia, et al.
Veröffentlicht: (2026)

Pantograph: A Machine-to-Machine Interaction Interface for Advanced Theorem Proving, High Level Reasoning, and Data Extraction in Lean 4
von: Aniva, Leni, et al.
Veröffentlicht: (2024)

Murphys Laws of AI Alignment: Why the Gap Always Wins
von: Gaikwad, Madhava
Veröffentlicht: (2025)

Automated Theorem Provers Help Improve Large Language Model Reasoning
von: McGinness, Lachlan, et al.
Veröffentlicht: (2024)

Putnam-AXIOM: A Functional and Static Benchmark for Measuring Higher Level Mathematical Reasoning in LLMs
von: Gulati, Aryan, et al.
Veröffentlicht: (2025)

Aligning LLMs for Multilingual Consistency in Enterprise Applications
von: Agarwal, Amit, et al.
Veröffentlicht: (2025)

When Words Change the Model: Sensitivity of LLMs for Constraint Programming Modelling
von: Pellegrino, Alessio, et al.
Veröffentlicht: (2025)

TRIZ Agents: A Multi-Agent LLM Approach for TRIZ-Based Innovation
von: Szczepanik, Kamil, et al.
Veröffentlicht: (2025)

Collaborative LLM Agents for C4 Software Architecture Design Automation
von: Szczepanik, Kamil, et al.
Veröffentlicht: (2025)

Why this and not that? A Logic-based Framework for Contrastive Explanations
von: Geibinger, Tobias, et al.
Veröffentlicht: (2025)

Proving Olympiad Algebraic Inequalities without Human Demonstrations
von: Wei, Chenrui, et al.
Veröffentlicht: (2024)

Vis-CoT: A Human-in-the-Loop Framework for Interactive Visualization and Intervention in LLM Chain-of-Thought Reasoning
von: Pather, Kaviraj, et al.
Veröffentlicht: (2025)

Retrieval and Augmentation of Domain Knowledge for Text-to-SQL Semantic Parsing
von: Patwardhan, Manasi, et al.
Veröffentlicht: (2025)

Approaches to Semantic Textual Similarity in Slovak Language: From Algorithms to Transformers
von: Radosky, Lukas, et al.
Veröffentlicht: (2026)

Beyond Prediction -- Structuring Epistemic Integrity in Artificial Reasoning Systems
von: Wright, Craig Steven
Veröffentlicht: (2025)

Solving Zebra Puzzles Using Constraint-Guided Multi-Agent Systems
von: Berman, Shmuel, et al.
Veröffentlicht: (2024)

Scaling the Scaling Logic: Agentic Meta-Synthesis of Logic Reasoning
von: Liu, Bowen, et al.
Veröffentlicht: (2026)

Oruga: An Avatar of Representational Systems Theory
von: Raggi, Daniel, et al.
Veröffentlicht: (2025)

SpectraLLM: Uncovering the Ability of LLMs for Molecular Structure Elucidation from Multi-Spectral Data
von: Su, Yunyue, et al.
Veröffentlicht: (2025)

DISC: Dynamic Decomposition Improves LLM Inference Scaling
von: Light, Jonathan, et al.
Veröffentlicht: (2025)

AI Model for Predicting Binding Affinity of Antidiabetic Compounds Targeting PPAR
von: Aman, La Ode, et al.
Veröffentlicht: (2024)

Thinking Machines: Mathematical Reasoning in the Age of LLMs
von: Asperti, Andrea, et al.
Veröffentlicht: (2025)

An Incremental Framework for Topological Dialogue Semantics: Efficient Reasoning in Discrete Spaces
von: Santacana, Andreu Ballus
Veröffentlicht: (2025)

Strong Equivalence in Answer Set Programming with Constraints
von: Cabalar, Pedro, et al.
Veröffentlicht: (2025)

XML Prompting as Grammar-Constrained Interaction: Fixed-Point Semantics, Convergence Guarantees, and Human-AI Protocols
von: Alpay, Faruk, et al.
Veröffentlicht: (2025)