Xiangyu
xixy
·
AI & ML interests
None yet
Recent Activity
authored a paper 4 days ago
LongCat-Flash-Prover: Advancing Native Formal Reasoning via Agentic Tool-Integrated Reinforcement Learning new activity 18 days ago
Jackrong/Qwen3.5-27B-Claude-4.6-Opus-Reasoning-Distilled:Claude distillationOrganizations
None yet