Cover Image

Towards Logically Sound Natural Language Reasoning with Logic-Enhanced Language Model Agents

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Mensfelt, Agnieszka, Stathis, Kostas, Trencsenyi, Vince
Format:	Preprint
Published:	2024
Subjects:	Artificial Intelligence Computation and Language Computer Science and Game Theory Logic in Computer Science
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Approximating Human Strategic Reasoning with LLM-Enhanced Recursive Reasoners Leveraging Multi-agent Hypergames
by: Trencsenyi, Vince, et al.
Published: (2025)

Autoformalization of Game Descriptions using Large Language Models
by: Mensfelt, Agnieszka, et al.
Published: (2024)

Hypergame Rationalisability: Solving Agent Misalignment In Strategic Play
by: Trencsenyi, Vince
Published: (2025)

State Definition for Conflict Analysis with Four-valued Logic
by: Kato, Yukiko
Published: (2022)

Probabilistic Obstruction Temporal Logic: a Probabilistic Logic to Reason about Dynamic Models
by: Leneutre, Jean, et al.
Published: (2024)

Games on Graphs: From Logic and Automata to Algorithms
by: Fijalkow, Nathanaël, et al.
Published: (2023)

Discovering Expert-Level Nash Equilibrium Algorithms with Large Language Models
by: Li, Hanyu, et al.
Published: (2025)

ASP-Bench: From Natural Language to Logic Programs
by: Szeider, Stefan
Published: (2026)

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

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

Generative Agents for Multi-Agent Autoformalization of Interaction Scenarios
by: Mensfelt, Agnieszka, et al.
Published: (2024)

Resilient Strategies for Stochastic Systems: How Much Does It Take to Break a Winning Strategy?
by: Grover, Kush, et al.
Published: (2026)

Finding Personalized Good-Enough Solutions to Unsatisfiable Stable Roommates Problems
by: Fidan, Müge, et al.
Published: (2025)

Strategy Synthesis for Zero-Sum Neuro-Symbolic Concurrent Stochastic Games
by: Yan, Rui, et al.
Published: (2022)

Peer-Predictive Self-Training for Language Model Reasoning
by: Feng, Shi, et al.
Published: (2026)

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

Taming Infinity one Chunk at a Time: Concisely Represented Strategies in One-Counter MDPs
by: Ajdarów, Michal, et al.
Published: (2025)

Mixing Any Cocktail with Limited Ingredients: On the Structure of Payoff Sets in Multi-Objective POMDPs and its Impact on Randomised Strategies
by: Main, James C. A., et al.
Published: (2025)

Autoformalizing Natural Language to First-Order Logic: A Case Study in Logical Fallacy Detection
by: Lalwani, Abhinav, et al.
Published: (2024)

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

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

Designing Equilibria in Concurrent Games with Social Welfare and Temporal Logic Constraints
by: Gutierrez, Julian, et al.
Published: (2023)

The Influence of Human-inspired Agentic Sophistication in LLM-driven Strategic Reasoners
by: Trencsenyi, Vince, et al.
Published: (2025)

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

Reasoning about Strategic Abilities in Stochastic Multi-agent Systems
by: Zhang, Yedi, et al.
Published: (2024)

JustLogic: A Comprehensive Benchmark for Evaluating Deductive Reasoning in Large Language Models
by: Chen, Michael K., et al.
Published: (2025)

Steering Language Models with Game-Theoretic Solvers
by: Gemp, Ian, et al.
Published: (2024)

Eliciting Informative Text Evaluations with Large Language Models
by: Lu, Yuxuan, et al.
Published: (2024)

Recursive Decomposition of Logical Thoughts: Framework for Superior Reasoning and Knowledge Propagation in Large Language Models
by: Qasim, Kaleem Ullah, et al.
Published: (2025)

A Survey on Hypergame Theory: Modeling Misaligned Perceptions and Nested Beliefs for Multi-agent Systems
by: Trencsenyi, Vince, et al.
Published: (2025)

The Transformation Logics
by: Ronca, Alessandro
Published: (2023)

Proceedings Twentieth Conference on Theoretical Aspects of Rationality and Knowledge
by: Bjorndahl, Adam
Published: (2025)

PokerBench: Training Large Language Models to become Professional Poker Players
by: Zhuang, Richard, et al.
Published: (2025)

Strategic Intelligence in Large Language Models: Evidence from evolutionary Game Theory
by: Payne, Kenneth, et al.
Published: (2025)

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

Large Language Models Imitate Logical Reasoning, but at what Cost?
by: McGinness, Lachlan, et al.
Published: (2025)

Temporal Ensemble Logic
by: Zhang, Guo-Qiang
Published: (2024)

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

Language Self-Play For Data-Free Training
by: Kuba, Jakub Grudzien, et al.
Published: (2025)

The Language of Bargaining: Linguistic Effects in LLM Negotiations
by: Sinha, Stuti, et al.
Published: (2026)