Imagen de Portada

Bridging Formal Language with Chain-of-Thought Reasoning to Geometry Problem Solving

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Yang, Tianyun, Li, Yunwen, Li, Ziniu, Lin, Zhihang, Sun, Ruoyu, Ding, Tian
Formato:	Preprint
Publicado:	2025
Materias:	Machine Learning
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

ReMax: A Simple, Effective, and Efficient Reinforcement Learning Method for Aligning Large Language Models
por: Li, Ziniu, et al.
Publicado: (2023)

Knapsack RL: Unlocking Exploration of LLMs via Optimizing Budget Allocation
por: Li, Ziniu, et al.
Publicado: (2025)

Leveraging Large Language Models for Bengali Math Word Problem Solving with Chain of Thought Reasoning
por: Paul, Bidyarthi, et al.
Publicado: (2025)

Chain of Thought Empowers Transformers to Solve Inherently Serial Problems
por: Li, Zhiyuan, et al.
Publicado: (2024)

ORGEval: Graph-Theoretic Evaluation of LLMs in Optimization Modeling
por: Wang, Zhuohan, et al.
Publicado: (2025)

Why Transformers Need Adam: A Hessian Perspective
por: Zhang, Yushun, et al.
Publicado: (2024)

Diffusion of Thoughts: Chain-of-Thought Reasoning in Diffusion Language Models
por: Ye, Jiacheng, et al.
Publicado: (2024)

CoRT: Code-integrated Reasoning within Thinking
por: Li, Chengpeng, et al.
Publicado: (2025)

Deep Thinking by Markov Chain of Continuous Thoughts
por: Liu, Jiayu, et al.
Publicado: (2025)

Modern Hopfield Networks Require Chain-of-Thought to Solve $\mathsf{NC}^1$-Hard Problems
por: Cao, Yang, et al.
Publicado: (2024)

Feature Extraction and Steering for Enhanced Chain-of-Thought Reasoning in Language Models
por: Li, Zihao, et al.
Publicado: (2025)

Preserving Diversity in Supervised Fine-Tuning of Large Language Models
por: Li, Ziniu, et al.
Publicado: (2024)

On Learning Verifiers and Implications to Chain-of-Thought Reasoning
por: Balcan, Maria-Florina, et al.
Publicado: (2025)

Boosting of Thoughts: Trial-and-Error Problem Solving with Large Language Models
por: Chen, Sijia, et al.
Publicado: (2024)

Towards Efficient Large Language Reasoning Models via Extreme-Ratio Chain-of-Thought Compression
por: Tang, Yuntian, et al.
Publicado: (2026)

Policy Optimization in RLHF: The Impact of Out-of-preference Data
por: Li, Ziniu, et al.
Publicado: (2023)

Unveiling Confirmation Bias in Chain-of-Thought Reasoning
por: Wan, Yue, et al.
Publicado: (2025)

Fractured Chain-of-Thought Reasoning
por: Liao, Baohao, et al.
Publicado: (2025)

Transformers Provably Solve Parity Efficiently with Chain of Thought
por: Kim, Juno, et al.
Publicado: (2024)

Reasoning by Superposition: A Theoretical Perspective on Chain of Continuous Thought
por: Zhu, Hanlin, et al.
Publicado: (2025)

A Formal Comparison Between Chain of Thought and Latent Thought
por: Xu, Kevin, et al.
Publicado: (2025)

MoFO: Momentum-Filtered Optimizer for Mitigating Forgetting in LLM Fine-Tuning
por: Chen, Yupeng, et al.
Publicado: (2024)

NPG-Muse: Scaling Long Chain-of-Thought Reasoning with NP-Hard Graph Problems
por: Wang, Yuyao, et al.
Publicado: (2025)

Chain of Preference Optimization: Improving Chain-of-Thought Reasoning in LLMs
por: Zhang, Xuan, et al.
Publicado: (2024)

Plane Geometry Problem Solving with Multi-modal Reasoning: A Survey
por: Cho, Seunghyuk, et al.
Publicado: (2025)

Self-Evolving Critique Abilities in Large Language Models
por: Tang, Zhengyang, et al.
Publicado: (2025)

CDW-CoT: Clustered Distance-Weighted Chain-of-Thoughts Reasoning
por: Fang, Yuanheng, et al.
Publicado: (2025)

Generalization and Optimization of SGD with Lookahead
por: Li, Kangcheng, et al.
Publicado: (2025)

Long Chain-of-Thought Reasoning Across Languages
por: Barua, Josh, et al.
Publicado: (2025)

Deconfounded Causality-aware Parameter-Efficient Fine-Tuning for Problem-Solving Improvement of LLMs
por: Wang, Ruoyu, et al.
Publicado: (2024)

Stepwise Penalization for Length-Efficient Chain-of-Thought Reasoning
por: Li, Xintong, et al.
Publicado: (2026)

RealCritic: Towards Effectiveness-Driven Evaluation of Language Model Critiques
por: Tang, Zhengyang, et al.
Publicado: (2025)

The Cost of Reasoning: Chain-of-Thought Induces Overconfidence in Vision-Language Models
por: Welch, Robert, et al.
Publicado: (2026)

Graph Chain-of-Thought: Augmenting Large Language Models by Reasoning on Graphs
por: Jin, Bowen, et al.
Publicado: (2024)

Off-Policy Value-Based Reinforcement Learning for Large Language Models
por: Wang, Peng-Yuan, et al.
Publicado: (2026)

Graph of Thoughts: Solving Elaborate Problems with Large Language Models
por: Besta, Maciej, et al.
Publicado: (2023)

CTRLS: Chain-of-Thought Reasoning via Latent State-Transition
por: Wu, Junda, et al.
Publicado: (2025)

MM-Verify: Enhancing Multimodal Reasoning with Chain-of-Thought Verification
por: Sun, Linzhuang, et al.
Publicado: (2025)

Scalable Chain of Thoughts via Elastic Reasoning
por: Xu, Yuhui, et al.
Publicado: (2025)

Understanding Reasoning in Chain-of-Thought from the Hopfieldian View
por: Hu, Lijie, et al.
Publicado: (2024)