Image de couverture de livre

From Language to Logic: A Bi-Level Framework for Structured Reasoning

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Yang, Keying, Wang, Hao, Yang, Kai
Format:	Preprint
Publié:	2025
Sujets:	Artificial Intelligence
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

A Medical Multimodal Diagnostic Framework Integrating Vision-Language Models and Logic Tree Reasoning
par: Zang, Zelin, et autres
Publié: (2025)

Adaptive Selection of Symbolic Languages for Improving LLM Logical Reasoning
par: Wang, Xiangyu, et autres
Publié: (2025)

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

Exploring the Reversal Curse and Other Deductive Logical Reasoning in BERT and GPT-Based Large Language Models
par: Wu, Da, et autres
Publié: (2023)

From Sequence to Structure: Uncovering Substructure Reasoning in Transformers
par: Dai, Xinnan, et autres
Publié: (2025)

Reason from Fallacy: Enhancing Large Language Models' Logical Reasoning through Logical Fallacy Understanding
par: Li, Yanda, et autres
Publié: (2024)

Semantic-Aware Logical Reasoning via a Semiotic Framework
par: Zhang, Yunyao, et autres
Publié: (2025)

Boundary Matters: A Bi-Level Active Finetuning Framework
par: Lu, Han, et autres
Publié: (2024)

From Skill Text to Skill Structure: The Scheduling-Structural-Logical Representation for Agent Skills
par: Liang, Qiliang, et autres
Publié: (2026)

Assessing and Enhancing the Robustness of Large Language Models with Task Structure Variations for Logical Reasoning
par: Bao, Qiming, et autres
Publié: (2023)

Addressing Logical Fallacies In Scientific Reasoning From Large Language Models: Towards a Dual-Inference Training Framework
par: Walker, Peter B., et autres
Publié: (2025)

From Query to Logic: Ontology-Driven Multi-Hop Reasoning in LLMs
par: Bian, Haonan, et autres
Publié: (2025)

Logical Reasoning over Natural Language as Knowledge Representation: A Survey
par: Yang, Zonglin, et autres
Publié: (2023)

Ada-R1: Hybrid-CoT via Bi-Level Adaptive Reasoning Optimization
par: Luo, Haotian, et autres
Publié: (2025)

Do Large Language Models Excel in Complex Logical Reasoning with Formal Language?
par: Jiang, Jin, et autres
Publié: (2025)

ChatLogic: Integrating Logic Programming with Large Language Models for Multi-Step Reasoning
par: Wang, Zhongsheng, et autres
Publié: (2024)

LogicSkills: A Structured Benchmark for Formal Reasoning in Large Language Models
par: Rabern, Brian, et autres
Publié: (2026)

Logic Contrastive Reasoning with Lightweight Large Language Model for Math Word Problems
par: Kai, Ding, et autres
Publié: (2024)

MAT-Cell: A Multi-Agent Tree-Structured Reasoning Framework for Batch-Level Single-Cell Annotation
par: Yang, Yehui, et autres
Publié: (2026)

DivLogicEval: A Framework for Benchmarking Logical Reasoning Evaluation in Large Language Models
par: Chung, Tsz Ting, et autres
Publié: (2025)

LogicLens: Visual-Logical Co-Reasoning for Text-Centric Forgery Analysis
par: Zeng, Fanwei, et autres
Publié: (2025)

Judgment-of-Thought Prompting: A Courtroom-Inspired Framework for Binary Logical Reasoning with Large Language Models
par: Park, Sungjune, et autres
Publié: (2024)

A Syllogistic Probe: Tracing the Evolution of Logic Reasoning in Large Language Models
par: Zang, Zhengqing, et autres
Publié: (2026)

Neural Contextual Reinforcement Framework for Logical Structure Language Generation
par: Irvin, Marcus, et autres
Publié: (2025)

Multi-view Phase-aware Pedestrian-Vehicle Incident Reasoning Framework with Vision-Language Models
par: Zhen, Hao, et autres
Publié: (2025)

REASON: Accelerating Probabilistic Logical Reasoning for Scalable Neuro-Symbolic Intelligence
par: Wan, Zishen, et autres
Publié: (2026)

MedLA: A Logic-Driven Multi-Agent Framework for Complex Medical Reasoning with Large Language Models
par: Ma, Siqi, et autres
Publié: (2025)

Instantiation-based Formalization of Logical Reasoning Tasks using Language Models and Logical Solvers
par: Raza, Mohammad, et autres
Publié: (2025)

LogicTree: Structured Proof Exploration for Coherent and Rigorous Logical Reasoning with Large Language Models
par: He, Kang, et autres
Publié: (2025)

MedGuideX: Internalizing Decision Logic from Executable Guidelines into Large Language Models for Clinical Reasoning
par: Shen, Yuhao, et autres
Publié: (2026)

Matrix as Plan: Structured Logical Reasoning with Feedback-Driven Replanning
par: Chen, Ke, et autres
Publié: (2026)

Learning Structured Reasoning via Tractable Trajectory Control
par: Kung, Po-Nien, et autres
Publié: (2026)

Logical Reasoning in Large Language Models: A Survey
par: Liu, Hanmeng, et autres
Publié: (2025)

LogicAsker: Evaluating and Improving the Logical Reasoning Ability of Large Language Models
par: Wan, Yuxuan, et autres
Publié: (2024)

Logical Structure as Knowledge: Enhancing LLM Reasoning via Structured Logical Knowledge Density Estimation
par: Bi, Zhen, et autres
Publié: (2025)

Structured Diversity Control: A Dual-Level Framework for Group-Aware Multi-Agent Coordination
par: Yang, Shuocun, et autres
Publié: (2025)

From Perception to Cognition: A Survey of Vision-Language Interactive Reasoning in Multimodal Large Language Models
par: Zhou, Chenyue, et autres
Publié: (2025)

Tri-Level Navigator: LLM-Empowered Tri-Level Learning for Time Series OOD Generalization
par: Jian, Chengtao, et autres
Publié: (2024)

Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles
par: Chen, Jiangjie, et autres
Publié: (2025)

TokUR: Token-Level Uncertainty Estimation for Large Language Model Reasoning
par: Zhang, Tunyu, et autres
Publié: (2025)