---
title: "Who cites Safe: Enhancing Mathematical — 14 citing papers"
description: "14 papers of the Elamur Research library cite «Safe: Enhancing Mathematical Reasoning in Large Language Models via Retrospective…"
canonical: "https://research.elamur.ai/free/en/papers/liu-2025-safe-enhancing-mathematical-reasoning-large/cited-by/"
---
[Elamur Research](https://md.research.elamur.ai/free/en/) · [this page in HTML](https://research.elamur.ai/free/en/papers/liu-2025-safe-enhancing-mathematical-reasoning-large/cited-by/)

[home](https://md.research.elamur.ai/free/en/) / [papers](https://md.research.elamur.ai/free/en/papers/) / [Safe: Enhancing Mathematical Reasoning in Large…](https://md.research.elamur.ai/free/en/papers/liu-2025-safe-enhancing-mathematical-reasoning-large/) / cited by

# 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»](https://md.research.elamur.ai/free/en/papers/liu-2025-safe-enhancing-mathematical-reasoning-large/)

1. **[ReProbe: Efficient Test-Time Scaling of Multi-Step Reasoning by Probing Internal States of Large Language Models](https://md.research.elamur.ai/free/en/papers/ni-2026-reprobe-efficient-test-time-scaling/) [Annual Meeting of the Association for Computational Linguistics (ACL)](https://md.research.elamur.ai/free/en/venues/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 Chains](https://md.research.elamur.ai/free/en/papers/park-2026-where-reasoning-breaks-logic-aware/) [Findings of the Association for Computational Linguistics](https://md.research.elamur.ai/free/en/venues/findings/)**Seunghyun Park, Yuanyuan Lei*2026 · 1 citation*
3. **[Beyond Length Scaling: Synergizing Breadth and Depth for Generative Reward Models](https://md.research.elamur.ai/free/en/papers/zhang-2026-beyond-length-scaling-synergizing-breadth/) [Findings of the Association for Computational Linguistics](https://md.research.elamur.ai/free/en/venues/findings/)**Qiyuan Zhang, Yufei Wang, Tianhe Wu, et al.*2026*
4. **[FLAIR: Steering LLM Mathematical Problem Solving based on A Fuzzy-Logic-AssIsted Reasoner](https://md.research.elamur.ai/free/en/papers/wu-2026-flair-steering-llm-mathematical-problem/) [Annual Meeting of the Association for Computational Linguistics (ACL)](https://md.research.elamur.ai/free/en/venues/acl/)**Hao Wu, Hongru Sun, Wanqing Li, et al.*2026*

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

- [← back to](https://md.research.elamur.ai/free/en/papers/liu-2025-safe-enhancing-mathematical-reasoning-large/) — Safe: Enhancing Mathematical Reasoning in Large Language Models via Retrospective Step-aware Formal Verification