Where to Search: Measure the Prior-Structured Search Space of LLM Agents

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Song, Zhuo-Yang
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Artificial Intelligence Computation and Language Logic in Computer Science
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

RvLLM: LLM Runtime Verification with Domain Knowledge
von: Zhang, Yedi, et al.
Veröffentlicht: (2025)

Logical Phase Transitions: Understanding Collapse in LLM Logical Reasoning
von: Zhang, Xinglang, et al.
Veröffentlicht: (2026)

DeepSeek-Prover-V1.5: Harnessing Proof Assistant Feedback for Reinforcement Learning and Monte-Carlo Tree Search
von: Xin, Huajian, et al.
Veröffentlicht: (2024)

Causal Past Logic for Runtime Verification of Distributed LLM Agent Workflows
von: Bollig, Benedikt
Veröffentlicht: (2026)

Conflict-Aware Fusion: Mitigating Logic Inertia in Large Language Models via Structured Cognitive Priors
von: Bao, Qiming, et al.
Veröffentlicht: (2025)

Sound and Complete Neurosymbolic Reasoning with LLM-Grounded Interpretations
von: Allen, Bradley P., et al.
Veröffentlicht: (2025)

LLM-ARC: Enhancing LLMs with an Automated Reasoning Critic
von: Kalyanpur, Aditya, et al.
Veröffentlicht: (2024)

Aligning with Logic: Measuring, Evaluating and Improving Logical Preference Consistency in Large Language Models
von: Liu, Yinhong, et al.
Veröffentlicht: (2024)

Defining implication relation for classical logic
von: Fu, Li
Veröffentlicht: (2013)

Logic-Parametric Neuro-Symbolic NLI: Controlling Logical Formalisms for Verifiable LLM Reasoning
von: Farjami, Ali, et al.
Veröffentlicht: (2026)

Lean Refactor: Multi-Objective Controllable Proof Optimization via Agentic Strategy Search
von: Lu, Jialin, et al.
Veröffentlicht: (2026)

Enforcing Temporal Constraints for LLM Agents
von: Kamath, Adharsh, et al.
Veröffentlicht: (2025)

Towards Advanced Mathematical Reasoning for LLMs via First-Order Logic Theorem Proving
von: Cao, Chuxue, et al.
Veröffentlicht: (2025)

The Geometry of Reasoning: Flowing Logics in Representation Space
von: Zhou, Yufa, et al.
Veröffentlicht: (2025)

BLAST: Benchmarking LLMs with ASP-based Structured Testing
von: Santana, Manuel Alejandro Borroto, et al.
Veröffentlicht: (2026)

Simplifying Formal Proof-Generating Models with ChatGPT and Basic Searching Techniques
von: Han, Sangjun, et al.
Veröffentlicht: (2025)

Keep the Proof State Live: Snapshotting for Efficient Tactic Search in Lean 4
von: Shen, Austin, et al.
Veröffentlicht: (2026)

Bolzano: Case Studies in LLM-Assisted Mathematical Research
von: Balko, Martin, et al.
Veröffentlicht: (2026)

Explainability by design: an experimental analysis of the legal coding process
von: Cristani, Matteo, et al.
Veröffentlicht: (2025)

Beyond Theorem Proving: Formulation, Framework and Benchmark for Formal Problem-Solving
von: Liu, Qi, et al.
Veröffentlicht: (2025)

Question Answering with LLMs and Learning from Answer Sets
von: Borroto, Manuel, et al.
Veröffentlicht: (2025)

Subject-Event Ontology Without Global Time: Foundations and Execution Semantics
von: Boldachev, Alexander
Veröffentlicht: (2025)

TimelineKGQA: A Comprehensive Question-Answer Pair Generator for Temporal Knowledge Graphs
von: Sun, Qiang, et al.
Veröffentlicht: (2025)

Generics and Default Reasoning in Large Language Models
von: Kirkpatrick, James Ravi, et al.
Veröffentlicht: (2025)

Do LLMs Really Struggle at NL-FOL Translation? Revealing their Strengths via a Novel Benchmarking Strategy
von: Brunello, Andrea, et al.
Veröffentlicht: (2025)

Bridging LLMs and Symbolic Reasoning in Educational QA Systems: Insights from the XAI Challenge at IJCNN 2025
von: Nguyen, Long S. T., et al.
Veröffentlicht: (2025)

The Algebra of Meaning: Why Machines Need Montague More Than Moore's Law
von: Jeong, Cheonkam, et al.
Veröffentlicht: (2025)

Dissecting Logical Reasoning in LLMs: A Fine-Grained Evaluation and Supervision Study
von: Zhou, Yujun, et al.
Veröffentlicht: (2025)

Modeling Next-Token Prediction as Left-Nested Intuitionistic Implication
von: Tarau, Paul
Veröffentlicht: (2026)

Can Large Language Models Understand DL-Lite Ontologies? An Empirical Study
von: Wang, Keyu, et al.
Veröffentlicht: (2024)

Compositional Consistency-Guided Decoding for Three-Way Logical Question Answering
von: Huang, Tianyi, et al.
Veröffentlicht: (2026)

EXPLORER: Exploration-guided Reasoning for Textual Reinforcement Learning
von: Basu, Kinjal, et al.
Veröffentlicht: (2024)

Reasoning Capabilities of Large Language Models. Lessons Learned from General Game Playing
von: Świechowski, Maciej, et al.
Veröffentlicht: (2026)

Ontology for Policing: Conceptual Knowledge Learning for Semantic Understanding and Reasoning in Law Enforcement Reports
von: Srbinovska, Anita, et al.
Veröffentlicht: (2026)

LOGIC-LM++: Multi-Step Refinement for Symbolic Formulations
von: Kirtania, Shashank, et al.
Veröffentlicht: (2024)

A Reliable Common-Sense Reasoning Socialbot Built Using LLMs and Goal-Directed ASP
von: Zeng, Yankai, et al.
Veröffentlicht: (2024)

From Blind Solvers to Logical Thinkers: Benchmarking LLMs' Logical Integrity on Faulty Mathematical Problems
von: Rahman, A M Muntasir, et al.
Veröffentlicht: (2024)

ASP-Bench: From Natural Language to Logic Programs
von: Szeider, Stefan
Veröffentlicht: (2026)

DECIDER: A Dual-System Rule-Controllable Decoding Framework for Language Generation
von: Xu, Chen, et al.
Veröffentlicht: (2024)

Llemma: An Open Language Model For Mathematics
von: Azerbayev, Zhangir, et al.
Veröffentlicht: (2023)