Copertina

ChatLogic: Integrating Logic Programming with Large Language Models for Multi-Step Reasoning

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Wang, Zhongsheng, Liu, Jiamou, Bao, Qiming, Rong, Hongfei, Zhang, Jingfeng
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Artificial Intelligence
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

CoRA: Optimizing Low-Rank Adaptation with Common Subspace of Large Language Models
di: Xiao, Xiaojun, et al.
Pubblicazione: (2024)

Assessing and Enhancing the Robustness of Large Language Models with Task Structure Variations for Logical Reasoning
di: Bao, Qiming, et al.
Pubblicazione: (2023)

Abstract Meaning Representation-Based Logic-Driven Data Augmentation for Logical Reasoning
di: Bao, Qiming, et al.
Pubblicazione: (2023)

ChatLog: Carefully Evaluating the Evolution of ChatGPT Across Time
di: Tu, Shangqing, et al.
Pubblicazione: (2023)

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

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

Multi-LogiEval: Towards Evaluating Multi-Step Logical Reasoning Ability of Large Language Models
di: Patel, Nisarg, et al.
Pubblicazione: (2024)

Logical Reasoning in Large Language Models: A Survey
di: Liu, Hanmeng, et al.
Pubblicazione: (2025)

Evaluating the Logical Reasoning Abilities of Large Reasoning Models
di: Liu, Hanmeng, et al.
Pubblicazione: (2025)

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

ChatRule: Mining Logical Rules with Large Language Models for Knowledge Graph Reasoning
di: Luo, Linhao, et al.
Pubblicazione: (2023)

RLearner-LLM: Balancing Logical Grounding and Fluency in Large Language Models via Hybrid Direct Preference Optimization
di: Bao, Qiming, et al.
Pubblicazione: (2026)

R-Debater: Retrieval-Augmented Debate Generation through Argumentative Memory
di: Li, Maoyuan, et al.
Pubblicazione: (2025)

CharCom: Composable Identity Control for Multi-Character Story Illustration
di: Wang, Zhongsheng, et al.
Pubblicazione: (2025)

Reason from Fallacy: Enhancing Large Language Models' Logical Reasoning through Logical Fallacy Understanding
di: Li, Yanda, et al.
Pubblicazione: (2024)

GLoRE: Evaluating Logical Reasoning of Large Language Models
di: liu, Hanmeng, et al.
Pubblicazione: (2023)

Do Large Language Models Excel in Complex Logical Reasoning with Formal Language?
di: Jiang, Jin, et al.
Pubblicazione: (2025)

LogicBench: Towards Systematic Evaluation of Logical Reasoning Ability of Large Language Models
di: Parmar, Mihir, et al.
Pubblicazione: (2024)

Lost in the Logic: An Evaluation of Large Language Models' Reasoning Capabilities on LSAT Logic Games
di: Malik, Saumya
Pubblicazione: (2024)

Language Models and Logic Programs for Trustworthy Tax Reasoning
di: Jurayj, William, et al.
Pubblicazione: (2025)

HardcoreLogic: Challenging Large Reasoning Models with Long-tail Logic Puzzle Games
di: Liang, Jingcong, et al.
Pubblicazione: (2025)

DivLogicEval: A Framework for Benchmarking Logical Reasoning Evaluation in Large Language Models
di: Chung, Tsz Ting, et al.
Pubblicazione: (2025)

Reasoning-as-Logic-Units: Scaling Test-Time Reasoning in Large Language Models Through Logic Unit Alignment
di: Li, Cheryl, et al.
Pubblicazione: (2025)

LogicGame: Benchmarking Rule-Based Reasoning Abilities of Large Language Models
di: Gui, Jiayi, et al.
Pubblicazione: (2024)

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

MedLA: A Logic-Driven Multi-Agent Framework for Complex Medical Reasoning with Large Language Models
di: Ma, Siqi, et al.
Pubblicazione: (2025)

LogicGraph : Benchmarking Multi-Path Logical Reasoning via Neuro-Symbolic Generation and Verification
di: Wu, Yanrui, et al.
Pubblicazione: (2026)

Instantiation-based Formalization of Logical Reasoning Tasks using Language Models and Logical Solvers
di: Raza, Mohammad, et al.
Pubblicazione: (2025)

LogicTree: Structured Proof Exploration for Coherent and Rigorous Logical Reasoning with Large Language Models
di: He, Kang, et al.
Pubblicazione: (2025)

A Medical Multimodal Diagnostic Framework Integrating Vision-Language Models and Logic Tree Reasoning
di: Zang, Zelin, et al.
Pubblicazione: (2025)

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

Disentangling Logic: The Role of Context in Large Language Model Reasoning Capabilities
di: Hua, Wenyue, et al.
Pubblicazione: (2024)

Human-Level Reasoning: A Comparative Study of Large Language Models on Logical and Abstract Reasoning
di: Moreira, Benjamin Grando
Pubblicazione: (2025)

MultiZebraLogic: A Multilingual Logical Reasoning Benchmark
di: Bruun, Sofie Helene, et al.
Pubblicazione: (2025)

Adaptive Selection of Symbolic Languages for Improving LLM Logical Reasoning
di: Wang, Xiangyu, et al.
Pubblicazione: (2025)

A Closer Look at the Self-Verification Abilities of Large Language Models in Logical Reasoning
di: Hong, Ruixin, et al.
Pubblicazione: (2023)

Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles
di: Chen, Jiangjie, et al.
Pubblicazione: (2025)

Learning to Generate Formally Verifiable Step-by-Step Logic Reasoning via Structured Formal Intermediaries
di: Chen, Luoxin, et al.
Pubblicazione: (2026)

Weak Supervision Techniques towards Enhanced ASR Models in Industry-level CRM Systems
di: Wang, Zhongsheng, et al.
Pubblicazione: (2025)

Are Large Language Models Really Good Logical Reasoners? A Comprehensive Evaluation and Beyond
di: Xu, Fangzhi, et al.
Pubblicazione: (2023)