Imagen de Portada

EXPLORER: Exploration-guided Reasoning for Textual Reinforcement Learning

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Basu, Kinjal, Murugesan, Keerthiram, Chaudhury, Subhajit, Campbell, Murray, Talamadupula, Kartik, Klinger, Tim
Formato:	Preprint
Publicado:	2024
Materias:	Computation and Language Artificial Intelligence Logic in Computer Science
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

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

Quantifying artificial intelligence through algorithmic generalization
por: Ito, Takuya, et al.
Publicado: (2024)

FLARE: Faithful Logic-Aided Reasoning and Exploration
por: Arakelyan, Erik, et al.
Publicado: (2024)

On the Effects of Fine-tuning Language Models for Text-Based Reinforcement Learning
por: Gruppi, Mauricio, et al.
Publicado: (2024)

Reasoning Capabilities of Large Language Models. Lessons Learned from General Game Playing
por: Świechowski, Maciej, et al.
Publicado: (2026)

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

Combining Textual and Structural Information for Premise Selection in Lean
por: Petrovčič, Job, et al.
Publicado: (2025)

Generics and Default Reasoning in Large Language Models
por: Kirkpatrick, James Ravi, et al.
Publicado: (2025)

LLM-ARC: Enhancing LLMs with an Automated Reasoning Critic
por: Kalyanpur, Aditya, et al.
Publicado: (2024)

Sound and Complete Neurosymbolic Reasoning with LLM-Grounded Interpretations
por: Allen, Bradley P., et al.
Publicado: (2025)

Logical Phase Transitions: Understanding Collapse in LLM Logical Reasoning
por: Zhang, Xinglang, et al.
Publicado: (2026)

Risk-Controlled Lean-as-Judge for Natural-Language Mathematical Reasoning
por: Bourigault, Pauline, et al.
Publicado: (2026)

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

Dissecting Logical Reasoning in LLMs: A Fine-Grained Evaluation and Supervision Study
por: Zhou, Yujun, et al.
Publicado: (2025)

Logic-Parametric Neuro-Symbolic NLI: Controlling Logical Formalisms for Verifiable LLM Reasoning
por: Farjami, Ali, et al.
Publicado: (2026)

Towards Advanced Mathematical Reasoning for LLMs via First-Order Logic Theorem Proving
por: Cao, Chuxue, et al.
Publicado: (2025)

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

Defining implication relation for classical logic
por: Fu, Li
Publicado: (2013)

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

Multi-Step Deductive Reasoning Over Natural Language: An Empirical Study on Out-of-Distribution Generalisation
por: Bao, Qiming, et al.
Publicado: (2022)

Reasoning Inconsistencies and How to Mitigate Them in Deep Learning
por: Arakelyan, Erik
Publicado: (2025)

ZoomR: Memory Efficient Reasoning through Multi-Granularity Key Value Retrieval
por: Yang, David H., et al.
Publicado: (2026)

Question Answering with LLMs and Learning from Answer Sets
por: Borroto, Manuel, et al.
Publicado: (2025)

Geometry of Reason: Spectral Signatures of Valid Mathematical Reasoning
por: Noël, Valentin
Publicado: (2026)

Advancing Spatial Reasoning in Large Language Models: An In-Depth Evaluation and Enhancement Using the StepGame Benchmark
por: Li, Fangjun, et al.
Publicado: (2024)

VEL: A Formally Verified Reasoner for OWL2 EL Profile
por: Ileri, Atalay Mert, et al.
Publicado: (2024)

STARLING: Self-supervised Training of Text-based Reinforcement Learning Agent with Large Language Models
por: Basavatia, Shreyas, et al.
Publicado: (2024)

Towards Aligning Language Models with Textual Feedback
por: Lloret, Saüc Abadal, et al.
Publicado: (2024)

A Neurosymbolic Approach to Loop Invariant Generation via Weakest Precondition Reasoning
por: King, Daragh, et al.
Publicado: (2025)

VeriThoughts: Enabling Automated Verilog Code Generation using Reasoning and Formal Verification
por: Yubeaton, Patrick, et al.
Publicado: (2025)

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

Integrating Reasoning Systems for Trustworthy AI, Proceedings of the 4th Workshop on Logic and Practice of Programming (LPOP)
por: Nerode, Anil, et al.
Publicado: (2024)

The Geometry of Reasoning: Flowing Logics in Representation Space
por: Zhou, Yufa, et al.
Publicado: (2025)

REAL-Prover: Retrieval Augmented Lean Prover for Mathematical Reasoning
por: Shen, Ziju, et al.
Publicado: (2025)

Grammars of Formal Uncertainty: When to Trust LLMs in Automated Reasoning Tasks
por: Ganguly, Debargha, et al.
Publicado: (2025)

Are Language Models Efficient Reasoners? A Perspective from Logic Programming
por: Opedal, Andreas, et al.
Publicado: (2025)

Token Assorted: Mixing Latent and Text Tokens for Improved Language Model Reasoning
por: Su, DiJia, et al.
Publicado: (2025)

LogicAsker: Evaluating and Improving the Logical Reasoning Ability of Large Language Models
por: Wan, Yuxuan, et al.
Publicado: (2024)

Towards Logically Sound Natural Language Reasoning with Logic-Enhanced Language Model Agents
por: Mensfelt, Agnieszka, et al.
Publicado: (2024)

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