🧑🔬 Lan Zhang — papers of 2025 — 2 papers, the most cited first2 papers · all years of Lan ZhangBeyond Gold Standards: Epistemic Ensemble of LLM Judges for Formal Mathematical ReasoningarXiv:2506.10903Lan Zhang, Marco Valentino, Jordan Meadows, et al.2025 · 5 citationsMASA: LLM-Driven Multi-Agent Systems for AutoformalizationConference on Empirical Methods in Natural Language Processing (EMNLP)Lan Zhang, Marco Valentino, Andre Freitas2025 · 5 citationsThis page in Markdown → https://md.research.elamur.ai/free/en/authors/lan-zhang/year/2025/