Cover Image

On LLM-generated Logic Programs and their Inference Execution Methods

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Tarau, Paul
Format:	Preprint
Published:	2025
Subjects:	Artificial Intelligence
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Modeling Next-Token Prediction as Left-Nested Intuitionistic Implication
by: Tarau, Paul
Published: (2026)

Through the Looking Glass, and what Horn Clause Programs Found There
by: Tarau, Paul
Published: (2024)

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

STELP: Secure Transpilation and Execution of LLM-Generated Programs
by: Shinde, Swapnil, et al.
Published: (2026)

Towards Probabilistic Inductive Logic Programming with Neurosymbolic Inference and Relaxation
by: Hillerstrom, Fieke, et al.
Published: (2024)

Accelerated AI Inference via Dynamic Execution Methods
by: Barad, Haim, et al.
Published: (2024)

Self-Programmed Execution for Language-Model Agents
by: O'Connor, Luke J.
Published: (2026)

Inference of Abstraction for Grounded Predicate Logic
by: Kido, Hiroyuki
Published: (2025)

GenerationPrograms: Fine-grained Attribution with Executable Programs
by: Wan, David, et al.
Published: (2025)

Differentiable Logic Programming for Distant Supervision
by: Takemura, Akihiro, et al.
Published: (2024)

Semirings for Probabilistic and Neuro-Symbolic Logic Programming
by: Derkinderen, Vincent, et al.
Published: (2024)

Argumentative Characterizations of (Extended) Disjunctive Logic Programs
by: Heyninck, Jesse, et al.
Published: (2023)

Which Programming Language and What Features at Pre-training Stage Affect Downstream Logical Inference Performance?
by: Uchiyama, Fumiya, et al.
Published: (2024)

ChatLogic: Integrating Logic Programming with Large Language Models for Multi-Step Reasoning
by: Wang, Zhongsheng, et al.
Published: (2024)

KnowPath: Knowledge-enhanced Reasoning via LLM-generated Inference Paths over Knowledge Graphs
by: Zhao, Qi, et al.
Published: (2025)

Harnesses for Inference-Time Alignment over Execution Trajectories
by: Wang, Boyuan, et al.
Published: (2026)

Logic-of-Thought: Empowering Large Language Models with Logic Programs for Solving Puzzles in Natural Language
by: Li, Naiqi, et al.
Published: (2025)

Satisfiability Modulo Theory Meets Inductive Logic Programming
by: Upreti, Nijesh, et al.
Published: (2025)

On Strong Equivalence Notions in Logic Programming and Abstract Argumentation
by: Buraglio, Giovanni, et al.
Published: (2026)

Epistemic Logic Programs: a study of some properties
by: Costantini, Stefania, et al.
Published: (2023)

Declarative Probabilistic Logic Programming in Discrete-Continuous Domains
by: Martires, Pedro Zuidberg Dos, et al.
Published: (2023)

CPGPrompt: Translating Clinical Guidelines into LLM-Executable Decision Support
by: Deng, Ruiqi, et al.
Published: (2026)

Evaluating Prompting and Execution-Based Methods for Deterministic Computation in LLMs
by: Yu, Hongkun
Published: (2026)

Dynamic Fog Computing for Enhanced LLM Execution in Medical Applications
by: Zagar, Philipp, et al.
Published: (2024)

VerifyLLM: LLM-Based Pre-Execution Task Plan Verification for Robots
by: Grigorev, Danil S., et al.
Published: (2025)

Self-Supervised Inductive Logic Programming
by: Patsantzis, Stassa
Published: (2025)

Explaining Explanations in Probabilistic Logic Programming
by: Vidal, Germán
Published: (2024)

SGLang: Efficient Execution of Structured Language Model Programs
by: Zheng, Lianmin, et al.
Published: (2023)

Code Execution as Grounded Supervision for LLM Reasoning
by: Jung, Dongwon, et al.
Published: (2025)

MedGuideX: Internalizing Decision Logic from Executable Guidelines into Large Language Models for Clinical Reasoning
by: Shen, Yuhao, et al.
Published: (2026)

SceneCode: Executable World Programs for Editable Indoor Scenes with Articulated Objects
by: Wang, Puyi, et al.
Published: (2026)

ConceptAgent: LLM-Driven Precondition Grounding and Tree Search for Robust Task Planning and Execution
by: Rivera, Corban, et al.
Published: (2024)

Implementing Derivations of Definite Logic Programs with Self-Attention Networks
by: Thuy, Phan Thi Thanh, et al.
Published: (2024)

Tacit Knowledge Extraction via Logic Augmented Generation and Active Inference
by: Lamazzi, Lorenzo, et al.
Published: (2026)

Executing as You Generate: Hiding Execution Latency in LLM Code Generation
by: Sun, Zhensu, et al.
Published: (2026)

Graph in the Vault: Protecting Edge GNN Inference with Trusted Execution Environment
by: Ding, Ruyi, et al.
Published: (2025)

Executable Code Actions Elicit Better LLM Agents
by: Wang, Xingyao, et al.
Published: (2024)

DeepProofLog: Efficient Proving in Deep Stochastic Logic Programs
by: Jiao, Ying, et al.
Published: (2025)

Deductive Systems for Logic Programs with Counting
by: Fandinno, Jorge, et al.
Published: (2025)

On the Equivalence between Logic Programming and SETAF
by: Alcântara, João, et al.
Published: (2024)