---
title: "Who cites FormalAlign: Automated — 17 citing papers"
description: "17 papers of the Elamur Research library cite «FormalAlign: Automated Alignment Evaluation for Autoformalization», found in their…"
canonical: "https://research.elamur.ai/free/en/papers/lu-2024-formalalign-automated-alignment-evaluation-autoformalization/cited-by/"
---
[Elamur Research](https://md.research.elamur.ai/free/en/) · [this page in HTML](https://research.elamur.ai/free/en/papers/lu-2024-formalalign-automated-alignment-evaluation-autoformalization/cited-by/)

[home](https://md.research.elamur.ai/free/en/) / [papers](https://md.research.elamur.ai/free/en/papers/) / [FormalAlign: Automated Alignment Evaluation for…](https://md.research.elamur.ai/free/en/papers/lu-2024-formalalign-automated-alignment-evaluation-autoformalization/) / cited by

# 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»](https://md.research.elamur.ai/free/en/papers/lu-2024-formalalign-automated-alignment-evaluation-autoformalization/)

1. **[ATLAS: Autoformalizing Theorems through Lifting, Augmentation, and Synthesis of Data](https://md.research.elamur.ai/free/en/papers/liu-2025-atlas-autoformalizing-theorems-through-lifting/) [Conference on Neural Information Processing Systems (NeurIPS)](https://md.research.elamur.ai/free/en/venues/neural-information-processing-systems/)**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.

- [← back to](https://md.research.elamur.ai/free/en/papers/lu-2024-formalalign-automated-alignment-evaluation-autoformalization/) — FormalAlign: Automated Alignment Evaluation for Autoformalization