Imagen de Portada

On LLM-generated Logic Programs and their Inference Execution Methods

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autor principal:	Tarau, Paul
Formato:	Preprint
Publicado:	2025
Materias:	Artificial Intelligence
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

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

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

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

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

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

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

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

Inference of Abstraction for Grounded Predicate Logic
por: Kido, Hiroyuki
Publicado: (2025)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Self-Supervised Inductive Logic Programming
por: Patsantzis, Stassa
Publicado: (2025)

Explaining Explanations in Probabilistic Logic Programming
por: Vidal, Germán
Publicado: (2024)

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

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

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

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

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

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

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

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

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

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

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

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

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