Buchumschlag

PCRLLM: Proof-Carrying Reasoning with Large Language Models under Stepwise Logical Constraints

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Li, Tangrui, Wang, Pei, Hahm, Hongzheng Wang Christian, Spatola, Matteo, Shi, Justin
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Computation and Language
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Fault Tolerant Reconfigurable ML Multiprocessor
von: Li, Tangrui, et al.
Veröffentlicht: (2025)

Are LLMs Rigorous Logical Reasoners? Empowering Natural Language Proof Generation by Stepwise Decoding with Contrastive Learning
von: Su, Ying, et al.
Veröffentlicht: (2023)

Logic-of-Thought: Injecting Logic into Contexts for Full Reasoning in Large Language Models
von: Liu, Tongxuan, et al.
Veröffentlicht: (2024)

Knowledge Vector of Logical Reasoning in Large Language Models
von: Wang, Zixuan, et al.
Veröffentlicht: (2026)

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

On Memorization of Large Language Models in Logical Reasoning
von: Xie, Chulin, et al.
Veröffentlicht: (2024)

A Stepwise-Enhanced Reasoning Framework for Large Language Models Based on External Subgraph Generation
von: Zhang, Xin, et al.
Veröffentlicht: (2025)

Stepwise Self-Consistent Mathematical Reasoning with Large Language Models
von: Zhao, Zilong, et al.
Veröffentlicht: (2024)

Reason from Fallacy: Enhancing Large Language Models' Logical Reasoning through Logical Fallacy Understanding
von: Li, Yanda, et al.
Veröffentlicht: (2024)

Stepwise Perplexity-Guided Refinement for Efficient Chain-of-Thought Reasoning in Large Language Models
von: Cui, Yingqian, et al.
Veröffentlicht: (2025)

Meta-Reasoning: Semantics-Symbol Deconstruction for Large Language Models
von: Wang, Yiming, et al.
Veröffentlicht: (2023)

Self-Guided Function Calling in Large Language Models via Stepwise Experience Recall
von: Cui, Sijia, et al.
Veröffentlicht: (2025)

Step-Controlled DPO: Leveraging Stepwise Error for Enhanced Mathematical Reasoning
von: Lu, Zimu, et al.
Veröffentlicht: (2024)

Generator-Assistant Stepwise Rollback Framework for Large Language Model Agent
von: Li, Xingzuo, et al.
Veröffentlicht: (2025)

A Large Language Model Based Method for Complex Logical Reasoning over Knowledge Graphs
von: Zhang, Ziyan, et al.
Veröffentlicht: (2025)

Stepwise Verification and Remediation of Student Reasoning Errors with Large Language Model Tutors
von: Daheim, Nico, et al.
Veröffentlicht: (2024)

Dancing with Critiques: Enhancing LLM Reasoning with Stepwise Natural Language Self-Critique
von: Li, Yansi, et al.
Veröffentlicht: (2025)

Large Language Models Meet Symbolic Provers for Logical Reasoning Evaluation
von: Qi, Chengwen, et al.
Veröffentlicht: (2025)

Chain of Logic: Rule-Based Reasoning with Large Language Models
von: Servantez, Sergio, et al.
Veröffentlicht: (2024)

Do Large Language Models Excel in Complex Logical Reasoning with Formal Language?
von: Jiang, Jin, et al.
Veröffentlicht: (2025)

LogicAsker: Evaluating and Improving the Logical Reasoning Ability of Large Language Models
von: Wan, Yuxuan, et al.
Veröffentlicht: (2024)

Stepwise Informativeness Search for Efficient and Effective LLM Reasoning
von: Wang, Siyuan, et al.
Veröffentlicht: (2025)

GLoRE: Evaluating Logical Reasoning of Large Language Models
von: liu, Hanmeng, et al.
Veröffentlicht: (2023)

Stepwise Reasoning Checkpoint Analysis: A Test Time Scaling Method to Enhance LLMs' Reasoning
von: Wang, Zezhong, et al.
Veröffentlicht: (2025)

Disentangling Logic: The Role of Context in Large Language Model Reasoning Capabilities
von: Hua, Wenyue, et al.
Veröffentlicht: (2024)

Socrates or Smartypants: Testing Logic Reasoning Capabilities of Large Language Models with Logic Programming-based Test Oracles
von: Xu, Zihao, et al.
Veröffentlicht: (2025)

Logical Reasoning in Large Language Models: A Survey
von: Liu, Hanmeng, et al.
Veröffentlicht: (2025)

Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles
von: Chen, Jiangjie, et al.
Veröffentlicht: (2025)

Rethinking Stepwise Model Routing: A Cost-Efficient Table Reasoning Perspective
von: Ye, Shenghao, et al.
Veröffentlicht: (2026)

Unlocking Temporal Question Answering for Large Language Models with Tailor-Made Reasoning Logic
von: Li, Xingxuan, et al.
Veröffentlicht: (2023)

LogicGame: Benchmarking Rule-Based Reasoning Abilities of Large Language Models
von: Gui, Jiayi, et al.
Veröffentlicht: (2024)

LogicBench: Towards Systematic Evaluation of Logical Reasoning Ability of Large Language Models
von: Parmar, Mihir, et al.
Veröffentlicht: (2024)

Lost in the Logic: An Evaluation of Large Language Models' Reasoning Capabilities on LSAT Logic Games
von: Malik, Saumya
Veröffentlicht: (2024)

CLR-Fact: Evaluating the Complex Logical Reasoning Capability of Large Language Models over Factual Knowledge
von: Zheng, Tianshi, et al.
Veröffentlicht: (2024)

Rosetta-PL: Propositional Logic as a Benchmark for Large Language Model Reasoning
von: Baek, Shaun, et al.
Veröffentlicht: (2025)

ProofSketch: Efficient Verified Reasoning for Large Language Models
von: Sheshanarayana, Disha, et al.
Veröffentlicht: (2025)

Confidence-Guided Stepwise Model Routing for Cost-Efficient Reasoning
von: Lee, Sangmook, et al.
Veröffentlicht: (2025)

ReCUT: Balancing Reasoning Length and Accuracy in LLMs via Stepwise Trails and Preference Optimization
von: Jin, Zhensheng, et al.
Veröffentlicht: (2025)

Linear Reasoning vs. Proof by Cases: Obstacles for Large Language Models in FOL Problem Solving
von: Ji, Yuliang, et al.
Veröffentlicht: (2026)

StepCodeReasoner: Aligning Code Reasoning with Stepwise Execution Traces via Reinforcement Learning
von: Wang, Hao, et al.
Veröffentlicht: (2026)