@inproceedings{lin-etal-2024-atg,
    title = "{ATG}: Benchmarking Automated Theorem Generation for Generative Language Models",
    author = "Lin, Xiaohan  and
      Cao, Qingxing  and
      Huang, Yinya  and
      Yang, Zhicheng  and
      Liu, Zhengying  and
      Li, Zhenguo  and
      Liang, Xiaodan",
    editor = "Duh, Kevin  and
      Gomez, Helena  and
      Bethard, Steven",
    booktitle = "Findings of the Association for Computational Linguistics: NAACL 2024",
    month = jun,
    year = "2024",
    address = "Mexico City, Mexico",
    publisher = "Association for Computational Linguistics",
    url = "https://preview.aclanthology.org/jlcl-multiple-ingestion/2024.findings-naacl.279/",
    doi = "10.18653/v1/2024.findings-naacl.279",
    pages = "4465--4480"
}