🔗 Who cites «Autoformalization in the Wild: Assessing LLMs on Real-World Mathematical Definitions»

11 papers of our library cite it (of the 149,439 whose bibliographies we read) · 4 with a page here, the most cited first · ← back to «Autoformalization in the Wild: Assessing LLMs on Real-World Mathematical Definitions»

1. StepFun-Formalizer: Unlocking the Autoformalization Potential of LLMs through Knowledge-Reasoning FusionarXiv:2508.04440Yutong Wu, Di Huang, Ruosi Wan, et al.2025 · 7 citations
2. Adaptive LLM-Symbolic Reasoning via Dynamic Logical Solver CompositionConference of the European Chapter of the Association for Computational Linguistics (EACL)Lei Xu, Pierre Beckmann, Marco Valentino, et al.2026 · 2 citations
3. FormalScience: Scalable Human-in-the-Loop Autoformalisation of Science with Agentic Code Generation in LeanAnnual Meeting of the Association for Computational Linguistics (ACL)Jordan Meadows, Lan Zhang, Andre Freitas2026
4. MioFFAn: An Annotation Software for Formula Formalization with LLM Automation CapabilitiesNatural Scientific Language Processing (NSLP) @ LRECNicolas Sibuet Ruiz, Horacio Saggion, Riccardo Rossi2026

7 more papers of our library cite it; they have no page here yet.

This page in Markdown → https://md.research.elamur.ai/free/en/papers/zhang-2025-autoformalization-wild-assessing-llms-real/cited-by/