会员服务
GRPO and Reflection Reward for Mathematical Reasoning in Large Language Models
Arxiv
0+阅读 · 3月14日
FATE: A Formal Benchmark Series for Frontier Algebra of Multiple Difficulty Levels
Arxiv
0+阅读 · 2月20日
NeuroProlog: Multi-Task Fine-Tuning for Neurosymbolic Mathematical Reasoning via the Cocktail Effect
Arxiv
0+阅读 · 3月4日
Linear Reasoning vs. Proof by Cases: Obstacles for Large Language Models in FOL Problem Solving
Arxiv
0+阅读 · 2月24日
Why Pass@k Optimization Can Degrade Pass@1: Prompt Interference in LLM Post-training
Arxiv
0+阅读 · 2月26日
Why Pass@k Optimization Can Degrade Pass@1: Prompt Interference in LLM Post-training
Arxiv
0+阅读 · 2月24日
Unmasking Reasoning Processes: A Process-aware Benchmark for Evaluating Structural Mathematical Reasoning in LLMs
Arxiv
0+阅读 · 2月26日
Inference-Time Rethinking with Latent Thought Vectors for Math Reasoning
Arxiv
0+阅读 · 2月6日
PACE: Defying the Scaling Hypothesis of Exploration in Iterative Alignment for Mathematical Reasoning
Arxiv
0+阅读 · 2月6日
Beyond Translation: Evaluating Mathematical Reasoning Capabilities of LLMs in Sinhala and Tamil
Arxiv
0+阅读 · 2月16日
THOR: Tool-Integrated Hierarchical Optimization via RL for Mathematical Reasoning
Arxiv
0+阅读 · 2月10日
Why Agentic Theorem Prover Works: A Statistical Provability Theory of Mathematical Reasoning Models
Arxiv
0+阅读 · 2月11日
Why Agentic Theorem Prover Works: A Statistical Provability Theory of Mathematical Reasoning Models
Arxiv
0+阅读 · 2月12日
VERIFY-RL: Verifiable Recursive Decomposition for Reinforcement Learning in Mathematical Reasoning
Arxiv
0+阅读 · 2月7日
Prompt Augmentation Scales up GRPO Training on Mathematical Reasoning
Arxiv
0+阅读 · 2月5日
参考链接
微信扫码咨询专知VIP会员
Top