🔗 Who cites «Safe: Enhancing Mathematical Reasoning in Large Language Models via Retrospective Step-aware Formal Verification»

14 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 «Safe: Enhancing Mathematical Reasoning in Large Language Models via Retrospective Step-aware Formal Verification»

1. ReProbe: Efficient Test-Time Scaling of Multi-Step Reasoning by Probing Internal States of Large Language ModelsAnnual Meeting of the Association for Computational Linguistics (ACL)Jingwei Ni, Ekaterina Fadeeva, Tianyi Wu, et al.2026 · 1 citation
2. Where Reasoning Breaks: Logic-Aware Path Selection by Controlling Logical Connectives in LLMs Reasoning ChainsFindings of the Association for Computational LinguisticsSeunghyun Park, Yuanyuan Lei2026 · 1 citation
3. Beyond Length Scaling: Synergizing Breadth and Depth for Generative Reward ModelsFindings of the Association for Computational LinguisticsQiyuan Zhang, Yufei Wang, Tianhe Wu, et al.2026
4. FLAIR: Steering LLM Mathematical Problem Solving based on A Fuzzy-Logic-AssIsted ReasonerAnnual Meeting of the Association for Computational Linguistics (ACL)Hao Wu, Hongru Sun, Wanqing Li, et al.2026

10 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/liu-2025-safe-enhancing-mathematical-reasoning-large/cited-by/