🧑‍🔬 Who cites Haocheng Ju

26 citations of their works from 24 papers of our library (of the 149,439 whose bibliographies we read) · 1 with a page here, the most cited first · ← Haocheng Ju

1. REAL-Prover: Retrieval Augmented Lean Prover for Mathematical ReasoningarXiv:2505.20613Ziju Shen, Naohao Huang, Fanyi Yang, et al.2025 · 10 citations

23 more citing papers of our library have no page here yet.

This page in Markdown → https://md.research.elamur.ai/free/en/authors/haocheng-ju/cited-by/