paper-with-me

홈 › Papers

LLaMA-Berry: Pairwise Optimization for O1-like Olympiad-Level Mathematical Reasoning

2024-10-03 · Di Zhang, Jianbo Wu, Jingdi Lei, Tong Che, Jiatong Li, Tong Xie, Xiaoshui Huang, Shufei Zhang, Marco Pavone, Yuqiang Li, Wanli Ouyang, Dongzhan Zhou

This paper presents an advanced mathematical problem-solving framework, LLaMA-Berry, for enhancing the mathematical reasoning ability of Large Language Models (LLMs). The framework combines Monte Carlo Tree Search (MCTS) with iterative Self-Refine to optimize the reasoning path and utilizes a pairwise reward model to evaluate different paths globally. By leveraging the self-critic and rewriting capabilities of LLMs, Self-Refine applied to MCTS (SR-MCTS) overcomes the inefficiencies and limitations of conventional step-wise and greedy search algorithms by fostering a more efficient exploration of solution spaces. Pairwise Preference Reward Model~(PPRM), inspired by Reinforcement Learning from Human Feedback (RLHF), is then used to model pairwise preferences between solutions, utilizing an Enhanced Borda Count (EBC) method to synthesize these preferences into a global ranking score to find better answers. This approach addresses the challenges of scoring variability and non-independent distributions in mathematical reasoning tasks. The framework has been tested on general and advanced benchmarks, showing superior performance in terms of search efficiency and problem-solving capability compared to existing methods like ToT and rStar, particularly in complex Olympiad-level benchmarks, including GPQA, AIME24 and AMC23.

📄 PDF Abstract BibTeX arXiv:2410.02884

Code (1)

trotsky1997/mathblackbox

Tasks

Efficient ExplorationMathematical Problem-SolvingMathematical Reasoning

Similar Papers 제목 키워드 기반

An Evaluation of LLMs Inference on Popular Single-board Computers

2025-10-20 · Tung, Nguyen, Tuyen Nguyen arxiv

The growing demand for on-device large language model (LLM) inference is driving interest in deploying lightweight, cost-effective AI solutions on edge hardware. Single-board computers (SBCs) such as the Raspberry Pi and…

Accessing GPT-4 level Mathematical Olympiad Solutions via Monte Carlo Tree Self-refine with LLaMa-3 8B

2024-06-11 · Di Zhang, Xiaoshui Huang, Dongzhan Zhou, Yuqiang Li 외

This paper introduces the MCT Self-Refine (MCTSr) algorithm, an innovative integration of Large Language Models (LLMs) with Monte Carlo Tree Search (MCTS), designed to enhance performance in complex mathematical reasonin…

Decision MakingGSM8KMathMathematical Reasoning

Proposing and solving olympiad geometry with guided tree search

2024-12-14 · Chi Zhang, Jiajun Song, Siyu Li, Yitao Liang 외

Mathematics olympiads are prestigious competitions, with problem proposing and solving highly honored. Building artificial intelligence that proposes and solves olympiads presents an unresolved challenge in automated the…

Omni-MATH: A Universal Olympiad Level Mathematic Benchmark For Large Language Models

2024-10-10 · Bofei Gao, Feifan Song, Zhe Yang, Zefan Cai 외

Recent advancements in large language models (LLMs) have led to significant breakthroughs in mathematical reasoning capabilities. However, existing benchmarks like GSM8K or MATH are now being solved with high accuracy (e…

GSM8KMathMathematical Reasoning

Beyond Pairwise: Empowering LLM Alignment With Ranked Choice Modeling

2025-10-24 · Yuxuan Tang, Yifan Feng arxiv

Alignment of large language models (LLMs) has predominantly relied on pairwise preference optimization, where annotators select the better of two responses to a prompt. While simple, this approach overlooks the opportuni…