🧑🔬 Zihao Zhou — papers of 2026 — 2 papers, the most cited first2 papers · all years of Zihao ZhouNumina-Lean-Agent: An Open and General Agentic Reasoning System for Formal MathematicsarXiv:2601.14027Junqi Liu, Zihao Zhou, Zekai Zhu, et al.2026 · 15 citationsCaTS-Bench: Can Language Models Describe Time Series?Findings of the Association for Computational LinguisticsLuca Zhou, Pratham Yashwante, Marshall Fisher, et al.2026 · 1 citationThis page in Markdown → https://md.research.elamur.ai/free/en/authors/zihao-zhou/year/2026/