arxiv:2505.02735
HuajianXin
HuajianXin
AI & ML interests
None yet
Recent Activity
upvoted a paper about 2 months ago
MMFormalizer: Multimodal Autoformalization in the Wild liked
a dataset 7 months ago
AI-MO/NuminaMath-LEAN upvoted an article 8 months ago
Kimina-Prover: Applying Test-time RL Search on Large Formal Reasoning Models Organizations
None yet
