Rin Arakaki
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-671BOrganizations
