Copertina

Are LLMs Rigorous Logical Reasoners? Empowering Natural Language Proof Generation by Stepwise Decoding with Contrastive Learning

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Su, Ying, Liu, Mingwen, Guo, Zhijiang
Natura:	Preprint
Pubblicazione:	2023
Soggetti:	Computation and Language
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

PCRLLM: Proof-Carrying Reasoning with Large Language Models under Stepwise Logical Constraints
di: Li, Tangrui, 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)

Last Layer Logits to Logic: Empowering LLMs with Logic-Consistent Structured Knowledge Reasoning
di: Li, Songze, et al.
Pubblicazione: (2025)

Empowering LLMs with Logical Reasoning: A Comprehensive Survey
di: Cheng, Fengxiang, et al.
Pubblicazione: (2025)

Dancing with Critiques: Enhancing LLM Reasoning with Stepwise Natural Language Self-Critique
di: Li, Yansi, et al.
Pubblicazione: (2025)

Enhancing Mathematical Reasoning in LLMs by Stepwise Correction
di: Wu, Zhenyu, et al.
Pubblicazione: (2024)

SGR: A Stepwise Reasoning Framework for LLMs with External Subgraph Generation
di: Zhang, Xin, et al.
Pubblicazione: (2026)

Distillation Contrastive Decoding: Improving LLMs Reasoning with Contrastive Decoding and Distillation
di: Phan, Phuc, et al.
Pubblicazione: (2024)

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

FOLIO: Natural Language Reasoning with First-Order Logic
di: Han, Simeng, et al.
Pubblicazione: (2022)

Stepwise Reasoning Checkpoint Analysis: A Test Time Scaling Method to Enhance LLMs' Reasoning
di: Wang, Zezhong, et al.
Pubblicazione: (2025)

ClimateViz: A Benchmark for Statistical Reasoning and Fact Verification on Scientific Charts
di: Su, Ruiran, et al.
Pubblicazione: (2025)

ReCUT: Balancing Reasoning Length and Accuracy in LLMs via Stepwise Trails and Preference Optimization
di: Jin, Zhensheng, et al.
Pubblicazione: (2025)

Do We Need Language-Specific Fact-Checking Models? The Case of Chinese
di: Zhang, Caiqi, et al.
Pubblicazione: (2024)

Stepwise Self-Consistent Mathematical Reasoning with Large Language Models
di: Zhao, Zilong, et al.
Pubblicazione: (2024)

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

Decoding by Contrasting Knowledge: Enhancing LLMs' Confidence on Edited Facts
di: Bi, Baolong, et al.
Pubblicazione: (2024)

Are LLMs Stable Formal Logic Translators in Logical Reasoning Across Linguistically Diversified Texts?
di: Li, Qingchuan, et al.
Pubblicazione: (2025)

DeReason: A Difficulty-Aware Curriculum Improves Decoupled SFT-then-RL Training for General Reasoning
di: Hu, Hanxu, et al.
Pubblicazione: (2026)

StepWiser: Stepwise Generative Judges for Wiser Reasoning
di: Xiong, Wei, et al.
Pubblicazione: (2025)

Beyond Natural Language: LLMs Leveraging Alternative Formats for Enhanced Reasoning and Communication
di: Chen, Weize, et al.
Pubblicazione: (2024)

LatentQA: Teaching LLMs to Decode Activations Into Natural Language
di: Pan, Alexander, et al.
Pubblicazione: (2024)

From Templates to Natural Language: Generalization Challenges in Instruction-Tuned LLMs for Spatial Reasoning
di: Kranti, Chalamalasetti, et al.
Pubblicazione: (2025)

Modeling Comparative Logical Relation with Contrastive Learning for Text Generation
di: Dan, Yuhao, et al.
Pubblicazione: (2024)

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

When Silence Is Golden: Can LLMs Learn to Abstain in Temporal QA and Beyond?
di: Zhou, Xinyu, et al.
Pubblicazione: (2026)

AGENTCL: Toward Rigorous Evaluation of Continual Learning in Language Agents
di: Shu, Yiheng, et al.
Pubblicazione: (2026)

From Informal to Formal -- Incorporating and Evaluating LLMs on Natural Language Requirements to Verifiable Formal Proofs
di: Cao, Jialun, et al.
Pubblicazione: (2025)

Boosting Logical Fallacy Reasoning in LLMs via Logical Structure Tree
di: Lei, Yuanyuan, et al.
Pubblicazione: (2024)

Empower Nested Boolean Logic via Self-Supervised Curriculum Learning
di: Wu, Hongqiu, et al.
Pubblicazione: (2023)

Hybrid Models for Natural Language Reasoning: The Case of Syllogistic Logic
di: Guzmán, Manuel Vargas, et al.
Pubblicazione: (2025)

Sample Smart, Not Hard: Correctness-First Decoding for Better Reasoning in LLMs
di: Li, Xueyan, et al.
Pubblicazione: (2025)

Logic Contrastive Reasoning with Lightweight Large Language Model for Math Word Problems
di: Kai, Ding, et al.
Pubblicazione: (2024)

Exploring the Role of Reasoning Structures for Constructing Proofs in Multi-Step Natural Language Reasoning with Large Language Models
di: Zheng, Zi'ou, et al.
Pubblicazione: (2024)

Grammar-Forced Translation of Natural Language to Temporal Logic using LLMs
di: English, William, et al.
Pubblicazione: (2025)

Discovering a Shared Logical Subspace: Steering LLM Logical Reasoning via Alignment of Natural-Language and Symbolic Views
di: Fang, Feihao, et al.
Pubblicazione: (2026)

Mitigating Posterior Salience Attenuation in Long-Context LLMs with Positional Contrastive Decoding
di: Xiao, Zikai, et al.
Pubblicazione: (2025)

Logical Reasoning over Natural Language as Knowledge Representation: A Survey
di: Yang, Zonglin, et al.
Pubblicazione: (2023)

Rethinking Stepwise Model Routing: A Cost-Efficient Table Reasoning Perspective
di: Ye, Shenghao, et al.
Pubblicazione: (2026)

Where Reasoning Breaks: Logic-Aware Path Selection by Controlling Logical Connectives in LLMs Reasoning Chains
di: Park, Seunghyun, et al.
Pubblicazione: (2026)