🧑🔬 Renjie Pi — papers of 2025 — 2 papers, the most cited first2 papers · all years of Renjie PiMA-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 citationsVLM2-Bench: A Closer Look at How Well VLMs Implicitly Link Explicit Matching Visual CuesAnnual Meeting of the Association for Computational Linguistics (ACL)Jianshu Zhang, Dongyu Yao, Renjie Pi, et al.2025 · 12 citationsThis page in Markdown → https://md.research.elamur.ai/free/en/authors/renjie-pi/year/2025/