@misc{indiciae53c296526e08,
  title = {Automated Formalization via Conceptual Retrieval-Augmented LLMs},
  author = {Wangyue Lu and Lun Du and Sirui Li and Ke Weng and Haozhe Sun and Hengyu Liu and Minghe Yu and Tiancheng Zhang and Ge Yu},
  year = {2026},
  url = {https://arxiv.org/abs/2508.06931},
  note = {Source identifier: 2508.06931}
}