@inproceedings{shi-etal-2026-prooffrontier,
    title = "{P}roof{F}rontier: Turning Verified Proofs into Boundary-hard Tasks for Formal Theorem Proving",
    author = "Shi, Zhengyan  and
      Zhong, Jianyuan  and
      Zheng, Xiaolin  and
      Shi, Liangliang  and
      Xu, Qiang",
    editor = "Lee, Hung-Yi  and
      Dev, Sunipa  and
      Li, Jessy  and
      Elliott, Desmond",
    booktitle = "Findings of the {A}ssociation for {C}omputational {L}inguistics: {EMNLP} 2026",
    month = oct,
    year = "2026",
    address = "Budapest, Hungary",
    publisher = "Association for Computational Linguistics",
    url = "https://aclanthology.org/2026.findings-emnlp.1615/",
    doi = "10.18653/2026.findings-emnlp.1615",
    pages = "34392--34404",
    ISBN = "979-8-89176-462-0"
}