🧑🔬 Yuxin Li — papers of 2025 — 3 papers, the most cited first3 papers · all years of Yuxin LiMA-LoT: Model-Collaboration Lean-based Long Chain-of-Thought Reasoning enhances Formal Theorem ProvingarXiv:2503.03205Ruida Wang, Rui Pan, Yuxin Li, et al.2025 · 18 citationsLet's Reason Formally: Natural-Formal Hybrid Reasoning Enhances LLM's Math CapabilityConference on Empirical Methods in Natural Language Processing (EMNLP)Ruida Wang, Yuxin Li, Yi R. Fung, et al.2025 · 7 citationsStep-Audio-R1 Technical ReportarXiv:2511.15848Fei Tian, Xiangyu Tony Zhang, Yuxin Zhang, et al.2025 · 3 citationsThis page in Markdown → https://md.research.elamur.ai/free/en/authors/yuxin-li/year/2025/