🧑🔬 Marco Valentino — papers of 2025 — Elamur Research3 papers · all years of Marco ValentinoImproving Chain-of-Thought Reasoning via Quasi-Symbolic AbstractionsAnnual Meeting of the Association for Computational Linguistics (ACL)Leonardo Ranaldi, Marco Valentino, Andre Freitas2025 · 42 citationsBeyond 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/marco-valentino/year/2025/