🔗 Who cites «ATLAS: Autoformalizing Theorems through Lifting, Augmentation, and Synthesis of Data»

15 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 «ATLAS: Autoformalizing Theorems through Lifting, Augmentation, and Synthesis of Data»

1. FormalScience: Scalable Human-in-the-Loop Autoformalisation of Science with Agentic Code Generation in LeanAnnual Meeting of the Association for Computational Linguistics (ACL)Jordan Meadows, Lan Zhang, Andre Freitas2026

14 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-atlas-autoformalizing-theorems-through-lifting/cited-by/