ruc-ai4math/Lean_State_Search_Random
Sentence Similarity
•
Updated
•
4
da
happyllll
·
AI & ML interests
None yet
Recent Activity
upvoted
a
paper
4 days ago
ReGuLaR: Variational Latent Reasoning Guided by Rendered Chain-of-Thought
published
a model
5 months ago
happyfighting/NEW_qwen2_5_MATH_1_5b_grpo_AR_Lopti_follow_kk_third_time
published
a model
5 months ago
happyfighting/NEW_qwen2_5_MATH_1_5b_grpo_AR_Lopti_follow_kk_tau_0.3_last_time
Organizations
