🔗 Who cites «ProofAug: Efficient Neural Theorem Proving via Fine-grained Proof Structure Analysis»

4 papers of our library cite it (of the 149,439 whose bibliographies we read) · 2 with a page here, the most cited first · ← back to «ProofAug: Efficient Neural Theorem Proving via Fine-grained Proof Structure Analysis»

1. Mathesis: Towards Formal Theorem Proving from Natural LanguagesarXiv:2506.07047Yu Xuejun, Jianyuan Zhong, Zijin Feng, et al.2025 · 9 citations
2. MPS-Prover: Advancing Stepwise Theorem Proving by Multi-Perspective Search and Data CurationConference on Neural Information Processing Systems (NeurIPS)Zhenwen Liang, Linfeng Song, Yang Li, et al.2025 · 4 citations

2 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-proofaug-efficient-neural-theorem-proving/cited-by/