Cover Image

ProRAC: A Neuro-symbolic Method for Reasoning about Actions with LLM-based Progression

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Wu, Haoyong, Liu, Yongmei
Format:	Preprint
Published:	2025
Subjects:	Artificial Intelligence Computation and Language
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

NSA: Neuro-symbolic ARC Challenge
by: Batorski, Paweł, et al.
Published: (2025)

NIM: Neuro-symbolic Ideographic Metalanguage for Inclusive Communication
by: Sharma, Prawaal, et al.
Published: (2025)

LLM+AL: Bridging Large Language Models and Action Languages for Complex Reasoning about Actions
by: Ishay, Adam, et al.
Published: (2025)

Reasoning based on symbolic and parametric knowledge bases: a survey
by: Xu, Mayi, et al.
Published: (2025)

VeriCoT: Neuro-symbolic Chain-of-Thought Validation via Logical Consistency Checks
by: Feng, Yu, et al.
Published: (2025)

LLM-based Agentic Reasoning Frameworks: A Survey from Methods to Scenarios
by: Zhao, Bingxi, et al.
Published: (2025)

ProFuser: Progressive Fusion of Large Language Models
by: Shi, Tianyuan, et al.
Published: (2024)

PEIRCE: Unifying Material and Formal Reasoning via LLM-Driven Neuro-Symbolic Refinement
by: Quan, Xin, et al.
Published: (2025)

PACR: Progressively Ascending Confidence Reward for LLM Reasoning
by: Yoon, Eunseop, et al.
Published: (2025)

Reasoning Court: Combining Reasoning, Action, and Judgment for Multi-Hop Reasoning
by: Wu, Jingtian, et al.
Published: (2025)

RAC: Efficient LLM Factuality Correction with Retrieval Augmentation
by: Li, Changmao, et al.
Published: (2024)

ProMind-LLM: Proactive Mental Health Care via Causal Reasoning with Sensor Data
by: Zheng, Xinzhe, et al.
Published: (2025)

Neuro-symbolic Syntactic Parsing: Shaping a Neural Network with the CYK Algorithm
by: Zanzotto, Fabio Massimo, et al.
Published: (2026)

LLaVul: A Multimodal LLM for Interpretable Vulnerability Reasoning about Source Code
by: Jararweh, Ala, et al.
Published: (2025)

RAFFLES: Reasoning-based Attribution of Faults for LLM Systems
by: Zhu, Chenyang, et al.
Published: (2025)

Exploring Knowledge Conflicts for Faithful LLM Reasoning: Benchmark and Method
by: Zhao, Tianzhe, et al.
Published: (2026)

NeSyGeo: A Neuro-Symbolic Framework for Multimodal Geometric Reasoning Data Generation
by: Wu, Weiming, et al.
Published: (2025)

Agentic Reasoning: A Streamlined Framework for Enhancing LLM Reasoning with Agentic Tools
by: Wu, Junde, et al.
Published: (2025)

Logic-Parametric Neuro-Symbolic NLI: Controlling Logical Formalisms for Verifiable LLM Reasoning
by: Farjami, Ali, et al.
Published: (2026)

Neuro-Symbolic Integration Brings Causal and Reliable Reasoning Proofs
by: Yang, Sen, et al.
Published: (2023)

NeuroSymActive: Differentiable Neural-Symbolic Reasoning with Active Exploration for Knowledge Graph Question Answering
by: Fu, Rong, et al.
Published: (2026)

Plan Then Action:High-Level Planning Guidance Reinforcement Learning for LLM Reasoning
by: Dou, Zhihao, et al.
Published: (2025)

Exploring the Necessity of Reasoning in LLM-based Agent Scenarios
by: Zhou, Xueyang, et al.
Published: (2025)

A Layered Intuition -- Method Model with Scope Extension for LLM Reasoning
by: Su, Hong
Published: (2025)

Reasoning about Affordances: Causal and Compositional Reasoning in LLMs
by: Gjerde, Magnus F., et al.
Published: (2025)

Reasoning about Intent for Ambiguous Requests
by: Saparina, Irina, et al.
Published: (2025)

MGSM-Pro: A Simple Strategy for Robust Multilingual Mathematical Reasoning Evaluation
by: Xu, Tianyi, et al.
Published: (2026)

CARFT: Boosting LLM Reasoning via Contrastive Learning with Annotated Chain-of-Thought-based Reinforced Fine-Tuning
by: Zhu, Wenqiao, et al.
Published: (2025)

LiTransProQA: an LLM-based Literary Translation evaluation metric with Professional Question Answering
by: Zhang, Ran, et al.
Published: (2025)

Reasoners or Translators? Contamination-aware Evaluation and Neuro-Symbolic Robustness in Tax Law
by: Kordjamshidi, Parisa, et al.
Published: (2026)

Satori: Reinforcement Learning with Chain-of-Action-Thought Enhances LLM Reasoning via Autoregressive Search
by: Shen, Maohao, et al.
Published: (2025)

ProRL: Prolonged Reinforcement Learning Expands Reasoning Boundaries in Large Language Models
by: Liu, Mingjie, et al.
Published: (2025)

CRMArena-Pro: Holistic Assessment of LLM Agents Across Diverse Business Scenarios and Interactions
by: Huang, Kung-Hsiang, et al.
Published: (2025)

Does Reasoning Introduce Bias? A Study of Social Bias Evaluation and Mitigation in LLM Reasoning
by: Wu, Xuyang, et al.
Published: (2025)

Quasi-symbolic Semantic Geometry over Transformer-based Variational AutoEncoder
by: Zhang, Yingji, et al.
Published: (2022)

A Tutorial on LLM Reasoning: Relevant Methods behind ChatGPT o1
by: Wang, Jun
Published: (2025)

Automating the Generation of Prompts for LLM-based Action Choice in PDDL Planning
by: Stein, Katharina, et al.
Published: (2023)

Internalizing LLM Reasoning via Discovery and Replay of Latent Actions
by: Shi, Zhenning, et al.
Published: (2026)

Reasoning about concepts with LLMs: Inconsistencies abound
by: Uceda-Sosa, Rosario, et al.
Published: (2024)

Rethinking Reasoning in LLMs: Neuro-Symbolic Local RetoMaton Beyond ICL and CoT
by: Mamidala, Rushitha Santhoshi, et al.
Published: (2025)