Rin Arakaki

rinarakaki

2 8

·

rinarakaki

AI & ML interests

None yet

Recent Activity

liked a model about 2 months ago

Pythagoras-LM/Pythagoras-Prover-4B

upvoted a paper about 1 year ago

THOR: Tool-Integrated Hierarchical Optimization via RL for Mathematical Reasoning

liked a model over 1 year ago

deepseek-ai/DeepSeek-Prover-V2-671B

View all activity

Organizations

upvoted a paper about 1 year ago

THOR: Tool-Integrated Hierarchical Optimization via RL for Mathematical Reasoning

Paper • 2509.13761 • Published Sep 17, 2025 • 16

upvoted a collection over 1 year ago

OpenMathReasoning

Models and datasets from "AIMO-2 Winning Solution: Building State-of-the-Art Mathematical Reasoning Models with OpenMathReasoning dataset" • 7 items • Updated about 5 hours ago • 49