Imagen de Portada

LogicPro: Improving Complex Logical Reasoning via Program-Guided Learning

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Jiang, Jin, Yan, Yuchen, Liu, Yang, Wang, Jianing, Peng, Shuai, Cai, Xunliang, Cao, Yixin, Zhang, Mengdi, Gao, Liangcai
Formato:	Preprint
Publicado:	2024
Materias:	Computation and Language
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

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

Prejudge-Before-Think: Enhancing Large Language Models at Test-Time by Process Prejudge Reasoning
por: Wang, Jianing, et al.
Publicado: (2025)

S^3cMath: Spontaneous Step-level Self-correction Makes Large Language Models Better Mathematical Reasoners
por: Yan, Yuchen, et al.
Publicado: (2024)

Problem-Solving Logic Guided Curriculum In-Context Learning for LLMs Complex Reasoning
por: Ma, Xuetao, et al.
Publicado: (2025)

LeanReasoner: Boosting Complex Logical Reasoning with Lean
por: Jiang, Dongwei, et al.
Publicado: (2024)

Less Data Less Tokens: Multilingual Unification Learning for Efficient Test-Time Reasoning in LLMs
por: Chen, Kang, et al.
Publicado: (2025)

LogicDiff: Logic-Guided Denoising Improves Zero-Shot Reasoning in Masked Diffusion Language Models
por: Aman, Shaik
Publicado: (2026)

SynLogic: Synthesizing Verifiable Reasoning Data at Scale for Learning Logical Reasoning and Beyond
por: Liu, Junteng, et al.
Publicado: (2025)

ZebraLogic: On the Scaling Limits of LLMs for Logical Reasoning
por: Lin, Bill Yuchen, et al.
Publicado: (2025)

Learning to Reason via Mixture-of-Thought for Logical Reasoning
por: Zheng, Tong, et al.
Publicado: (2025)

Improving Complex Reasoning over Knowledge Graph with Logic-Aware Curriculum Tuning
por: Xia, Tianle, et al.
Publicado: (2024)

From Program Logics to Language Logics
por: Cimini, Matteo
Publicado: (2024)

Divide and Translate: Compositional First-Order Logic Translation and Verification for Complex Logical Reasoning
por: Ryu, Hyun, et al.
Publicado: (2024)

Understanding Inter-Session Intentions via Complex Logical Reasoning
por: Bai, Jiaxin, et al.
Publicado: (2023)

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

Mover Logic: A Concurrent Program Logic for Reduction and Rely-Guarantee Reasoning (Extended Version)
por: Flanagan, Cormac, et al.
Publicado: (2024)

Logic-Q: Improving Deep Reinforcement Learning-based Quantitative Trading via Program Sketch-based Tuning
por: Li, Zhiming, et al.
Publicado: (2023)

Reasoning on Efficient Knowledge Paths:Knowledge Graph Guides Large Language Model for Domain Question Answering
por: Wang, Yuqi, et al.
Publicado: (2024)

LogicReward: Incentivizing LLM Reasoning via Step-Wise Logical Supervision
por: Xu, Jundong, et al.
Publicado: (2025)

On Memorization of Large Language Models in Logical Reasoning
por: Xie, Chulin, et al.
Publicado: (2024)

MultiMath: Bridging Visual and Mathematical Reasoning for Large Language Models
por: Peng, Shuai, et al.
Publicado: (2024)

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

Towards Generalizable and Faithful Logic Reasoning over Natural Language via Resolution Refutation
por: Sun, Zhouhao, et al.
Publicado: (2024)

Improving Symbolic Translation of Language Models for Logical Reasoning
por: Thatikonda, Ramya Keerthy, et al.
Publicado: (2026)

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

LogicCat: A Chain-of-Thought Text-to-SQL Benchmark for Complex Reasoning
por: Liu, Tao, et al.
Publicado: (2025)

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

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

DESIGNER: Design-Logic-Guided Multidisciplinary Data Synthesis for LLM Reasoning
por: Liu, Weize, et al.
Publicado: (2025)

Program Synthesis using Inductive Logic Programming for the Abstraction and Reasoning Corpus
por: Rocha, Filipe Marinho, et al.
Publicado: (2024)

Functional Logic Program Transformations
por: Hanus, Michael, et al.
Publicado: (2026)

Complex Reasoning over Logical Queries on Commonsense Knowledge Graphs
por: Fang, Tianqing, et al.
Publicado: (2024)

Enhancing Logical Reasoning in Language Models via Symbolically-Guided Monte Carlo Process Supervision
por: Tan, Xingwei, et al.
Publicado: (2025)

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

Logic-Oriented Retriever Enhancement via Contrastive Learning
por: Zhang, Wenxuan, et al.
Publicado: (2026)

Beyond Seen Data: Improving KBQA Generalization Through Schema-Guided Logical Form Generation
por: Gao, Shengxiang, et al.
Publicado: (2025)

Faithful Logical Reasoning via Symbolic Chain-of-Thought
por: Xu, Jundong, et al.
Publicado: (2024)

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

LLMEval-Logic: A Solver-Verified Chinese Benchmark for Logical Reasoning of LLMs with Adversarial Hardening
por: Zhang, Ming, et al.
Publicado: (2026)

Meta-Chunking: Learning Text Segmentation and Semantic Completion via Logical Perception
por: Zhao, Jihao, et al.
Publicado: (2024)