🔗 Who cites «FormalAlign: Automated Alignment Evaluation for Autoformalization»

17 papers of our library cite it (of the 149,439 whose bibliographies we read) · 1 with a page here, the most cited first · ← back to «FormalAlign: Automated Alignment Evaluation for Autoformalization»

1. ATLAS: Autoformalizing Theorems through Lifting, Augmentation, and Synthesis of DataConference on Neural Information Processing Systems (NeurIPS)Xiaoyang Liu, Kangjie Bao, Jiashuo Zhang, et al.2025 · 16 citations

16 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/lu-2024-formalalign-automated-alignment-evaluation-autoformalization/cited-by/