LiuJunxiao
master-lan
ยท
AI & ML interests
None yet
Recent Activity
upvoted a paper about 1 month ago
LongCat-Flash-Prover: Advancing Native Formal Reasoning via Agentic Tool-Integrated Reinforcement Learning upvoted a paper 2 months ago
Self-Improving Multilingual Long Reasoning via Translation-Reasoning Integrated Training