:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Zou, Jia, Zhang, Xiaokai, He, Yiming, Zhu, Na, Leng, Tuo
Format:	Preprint
Published:	2024
Subjects:	Artificial Intelligence
Online Access:	https://arxiv.org/abs/2402.09051
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

FGeo-TP: A Language Model-Enhanced Solver for Geometry Problems
by: He, Yiming, et al.
Published: (2024)

FGeo-HyperGNet: Geometric Problem Solving Integrating FormalGeo Symbolic System and Hypergraph Neural Network
by: Zhang, Xiaokai, et al.
Published: (2024)

FormalGeo: An Extensible Formalized Framework for Olympiad Geometric Problem Solving
by: Zhang, Xiaokai, et al.
Published: (2023)

AutoGPS: Automated Geometry Problem Solving via Multimodal Formalization and Deductive Reasoning
by: Ping, Bowen, et al.
Published: (2025)

Deep Reinforcement Learning from Hierarchical Preference Design
by: Bukharin, Alexander, et al.
Published: (2023)

Look Before You Decide: Prompting Active Deduction of MLLMs for Assumptive Reasoning
by: Li, Yian, et al.
Published: (2024)

Boosting Deductive Reasoning with Step Signals In RLHF
by: Li, Jialian, et al.
Published: (2024)

Revac: A Social Deduction Reasoning Agent
by: Arya, Mihir Shriniwas, et al.
Published: (2026)

BCR-DRL: Behavior- and Context-aware Reward for Deep Reinforcement Learning in Human-AI Coordination
by: Hao, Xin, et al.
Published: (2024)

TranDRL: A Transformer-Driven Deep Reinforcement Learning Enabled Prescriptive Maintenance Framework
by: Zhao, Yang, et al.
Published: (2023)

CVeDRL: An Efficient Code Verifier via Difficulty-aware Reinforcement Learning
by: Shi, Ji, et al.
Published: (2026)

Hypothesis Testing Prompting Improves Deductive Reasoning in Large Language Models
by: Li, Yitian, et al.
Published: (2024)

IDEA: Enhancing the Rule Learning Ability of Large Language Model Agent through Induction, Deduction, and Abduction
by: He, Kaiyu, et al.
Published: (2024)

How Far Are We from Intelligent Visual Deductive Reasoning?
by: Zhang, Yizhe, et al.
Published: (2024)

Inductive or Deductive? Rethinking the Fundamental Reasoning Abilities of LLMs
by: Cheng, Kewei, et al.
Published: (2024)

Towards Generating Controllable and Solvable Geometry Problem by Leveraging Symbolic Deduction Engine
by: Jiang, Zhuoxuan, et al.
Published: (2025)

Revealing Algorithmic Deductive Circuits for Logical Reasoning
by: Nguyen, Phuong Minh, et al.
Published: (2026)

Enhancing Multimodal In-Context Learning via Inductive-Deductive Reasoning
by: Wang, Haoyu, et al.
Published: (2026)

MentalSeek-Dx: Towards Progressive Hypothetico-Deductive Reasoning for Real-world Psychiatric Diagnosis
by: Sun, Xiao, et al.
Published: (2026)

The Role of Deductive and Inductive Reasoning in Large Language Models
by: Cai, Chengkun, et al.
Published: (2024)

Toward Mechanistic Explanation of Deductive Reasoning in Language Models
by: Maltoni, Davide, et al.
Published: (2025)

Investigating the Robustness of Deductive Reasoning with Large Language Models
by: Hoppe, Fabian, et al.
Published: (2025)

Enhancing Geometric Ontology Embeddings for $\mathcal{EL}^{++}$ with Negative Sampling and Deductive Closure Filtering
by: Mashkova, Olga, et al.
Published: (2024)

Deep Reinforcement Learning for Traveling Purchaser Problems
by: Yuan, Haofeng, et al.
Published: (2024)

RewardMap: Tackling Sparse Rewards in Fine-grained Visual Reasoning via Multi-Stage Reinforcement Learning
by: Feng, Sicheng, et al.
Published: (2025)

Unifying Deductive and Abductive Reasoning in Knowledge Graphs with Masked Diffusion Model
by: Gao, Yisen, et al.
Published: (2025)

FedDRL: A Trustworthy Federated Learning Model Fusion Method Based on Staged Reinforcement Learning
by: Chen, Leiming, et al.
Published: (2023)

Tackling GNARLy Problems: Graph Neural Algorithmic Reasoning Reimagined through Reinforcement Learning
by: Schutz, Alex, et al.
Published: (2025)

SATURN: SAT-based Reinforcement Learning to Unleash LLMs Reasoning
by: Liu, Huanyu, et al.
Published: (2025)

Theorem-Validated Reverse Chain-of-Thought Problem Generation for Geometric Reasoning
by: Deng, Linger, et al.
Published: (2024)

Solving Integrated Process Planning and Scheduling Problem via Graph Neural Network Based Deep Reinforcement Learning
by: Li, Hongpei, et al.
Published: (2024)

Incorporating Graph Attention Mechanism into Geometric Problem Solving Based on Deep Reinforcement Learning
by: Zhong, Xiuqin, et al.
Published: (2024)

SHARP: Synthesizing High-quality Aligned Reasoning Problems for Large Reasoning Models Reinforcement Learning
by: Wu, Xiong Jun, et al.
Published: (2025)

Exposing Weaknesses of Large Reasoning Models through Graph Algorithm Problems
by: Zhang, Qifan, et al.
Published: (2026)

Real-DRL: Teach and Learn in Reality
by: Mao, Yanbing, et al.
Published: (2025)

cc-DRL: a Convex Combined Deep Reinforcement Learning Flight Control Design for a Morphing Quadrotor
by: Yang, Tao, et al.
Published: (2024)

Enhancing Interpretability in Deep Reinforcement Learning through Semantic Clustering
by: Zhang, Liang, et al.
Published: (2024)

Structure in Deep Reinforcement Learning: A Survey and Open Problems
by: Mohan, Aditya, et al.
Published: (2023)

Training Language Models for Social Deduction with Multi-Agent Reinforcement Learning
by: Sarkar, Bidipta, et al.
Published: (2025)

ItD: Large Language Models Can Teach Themselves Induction through Deduction
by: Sun, Wangtao, et al.
Published: (2024)