:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Author:	He, Zhiyuan
Format:	Preprint
Published:	2025
Subjects:	Artificial Intelligence
Online Access:	https://arxiv.org/abs/2512.02677
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Logic-of-Thought: Empowering Large Language Models with Logic Programs for Solving Puzzles in Natural Language
by: Li, Naiqi, et al.
Published: (2025)

Graph of States: Solving Abductive Tasks with Large Language Models
by: Luo, Yu, et al.
Published: (2026)

When Do Symbolic Solvers Enhance Reasoning in Large Language Models?
by: He, Zhiyuan, et al.
Published: (2025)

Perspective Transition of Large Language Models for Solving Subjective Tasks
by: Wang, Xiaolong, et al.
Published: (2025)

Fast-Slow-Thinking: Complex Task Solving with Large Language Models
by: Sun, Yiliu, et al.
Published: (2025)

Mathify: Evaluating Large Language Models on Mathematical Problem Solving Tasks
by: Anand, Avinash, et al.
Published: (2024)

Solving Data-centric Tasks using Large Language Models
by: Barke, Shraddha, et al.
Published: (2024)

Exploring Data-Efficient Adaptation of Large Language Models for Code Generation
by: Jiang, Xue, et al.
Published: (2024)

Beyond Parameters: Exploring Virtual Logic Depth for Scaling Laws
by: Zhu, Ruike, et al.
Published: (2025)

On the Potential of Large Language Models to Solve Semantics-Aware Process Mining Tasks
by: Rebmann, Adrian, et al.
Published: (2025)

MLCopilot: Unleashing the Power of Large Language Models in Solving Machine Learning Tasks
by: Zhang, Lei, et al.
Published: (2023)

Recursive Decomposition of Logical Thoughts: Framework for Superior Reasoning and Knowledge Propagation in Large Language Models
by: Qasim, Kaleem Ullah, et al.
Published: (2025)

Instantiation-based Formalization of Logical Reasoning Tasks using Language Models and Logical Solvers
by: Raza, Mohammad, et al.
Published: (2025)

Exploring Solution Divergence and Its Effect on Large Language Model Problem Solving
by: Li, Hang, et al.
Published: (2025)

Assessing and Enhancing the Robustness of Large Language Models with Task Structure Variations for Logical Reasoning
by: Bao, Qiming, et al.
Published: (2023)

LogicTree: Structured Proof Exploration for Coherent and Rigorous Logical Reasoning with Large Language Models
by: He, Kang, et al.
Published: (2025)

Recursive Language Models
by: Zhang, Alex L., et al.
Published: (2025)

A Fuzzy Logic Prompting Framework for Large Language Models in Adaptive and Uncertain Tasks
by: Figueiredo, Vanessa
Published: (2025)

Exploring the Performance of Large Language Models on Subjective Span Identification Tasks
by: Dmonte, Alphaeus, et al.
Published: (2026)

LsrIF: Enhancing Logic-Structured Instruction Following of Large Language Models
by: Ren, Qingyu, et al.
Published: (2026)

From Logic to Language: A Trust Index for Problem Solving with LLMs
by: Rug, Tehseen, et al.
Published: (2025)

The Curse of Depth in Large Language Models
by: Sun, Wenfang, et al.
Published: (2025)

Paraphrase and Solve: Exploring and Exploiting the Impact of Surface Form on Mathematical Reasoning in Large Language Models
by: Zhou, Yue, et al.
Published: (2024)

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

Logic Query of Thoughts: Guiding Large Language Models to Answer Complex Logic Queries with Knowledge Graphs
by: Liu, Lihui, et al.
Published: (2024)

Task Abstention for Large Language Models in Code Generation
by: Zhou, Yanke, et al.
Published: (2026)

ChatLogic: Integrating Logic Programming with Large Language Models for Multi-Step Reasoning
by: Wang, Zhongsheng, et al.
Published: (2024)

Cog-GA: A Large Language Models-based Generative Agent for Vision-Language Navigation in Continuous Environments
by: Li, Zhiyuan, et al.
Published: (2024)

TaskEval: Assessing Difficulty of Code Generation Tasks for Large Language Models
by: Tambon, Florian, et al.
Published: (2024)

ReCAP: Recursive Context-Aware Reasoning and Planning for Large Language Model Agents
by: Zhang, Zhenyu, et al.
Published: (2025)

Recursive Belief Vision Language Action Models
by: Bagaria, Vaidehi, et al.
Published: (2026)

LOGIGEN: Logic-Driven Generation of Verifiable Agentic Tasks
by: Zeng, Yucheng, et al.
Published: (2026)

Recursive Concept Evolution for Compositional Reasoning in Large Language Models
by: Chaudhry, Sarim
Published: (2026)

Has It All Been Solved? Open NLP Research Questions Not Solved by Large Language Models
by: Ignat, Oana, et al.
Published: (2023)

Evaluating the Effectiveness of Large Language Models in Solving Simple Programming Tasks: A User-Centered Study
by: Deng, Kai
Published: (2025)

Towards In-Depth Root Cause Localization for Microservices with Multi-Agent Recursion-of-Thought
by: Zhang, Lingzhe, et al.
Published: (2026)

Explore Before You Solve: The Speed--Depth Trade-off in Epistemic Agents for ARC-AGI-3
by: Han, Liew Keong
Published: (2026)

EngiBench: A Benchmark for Evaluating Large Language Models on Engineering Problem Solving
by: Zhou, Xiyuan, et al.
Published: (2025)

Branch-Solve-Merge Improves Large Language Model Evaluation and Generation
by: Saha, Swarnadeep, et al.
Published: (2023)

Improving Large Language Models in Event Relation Logical Prediction
by: Chen, Meiqi, et al.
Published: (2023)