@inproceedings{peng-etal-2026-criticlean,
    title = "{C}ritic{L}ean: Critic-Guided Reinforcement Learning for Mathematical Formalization",
    author = "Peng, Zhongyuan  and
      Yao, Yifan  and
      Ma, Kaijing  and
      Guo, Shuyue  and
      Li, Yizhe  and
      Zhang, Yichi  and
      Zhang, Chenchen  and
      Zhang, Yifan  and
      Yu, Zhouliang  and
      Li, Luming  and
      Liu, Minghao  and
      Xia, Yihang  and
      Shen, Jiawei  and
      Wu, Yuchen  and
      Cao, Yixin  and
      Zhang, Zhaoxiang  and
      Huang, Wenhao  and
      Liu, Jiaheng  and
      Zhang, Ge",
    editor = "Liakata, Maria  and
      Moreira, Viviane P.  and
      Zhang, Jiajun  and
      Jurgens, David",
    booktitle = "Proceedings of the 64th Annual Meeting of the {A}ssociation for {C}omputational {L}inguistics (Volume 1: Long Papers)",
    month = jul,
    year = "2026",
    address = "San Diego, California, United States",
    publisher = "Association for Computational Linguistics",
    url = "https://preview.aclanthology.org/ingest-acl/2026.acl-long.139/",
    pages = "3049--3088",
    ISBN = "979-8-89176-390-6"
}