@inproceedings{tzachristas-etal-2026-open,
    title = "Open Problems Solved by {LLM}s? A Survey of Verifiable Mathematical Discovery",
    author = "Tzachristas, Ioannis  and
      Tzachristas, Georgios  and
      Sui, Aifen",
    editor = "Elazar, Yanai  and
      Ettinger, Allyson  and
      Kassner, Nora  and
      Ruder, Sebastian",
    booktitle = "Proceedings of The Big Picture v2: Crafting a Research Narrative",
    month = jul,
    year = "2026",
    address = "San Diego, CA, USA",
    publisher = "Association for Computational Linguistics",
    url = "https://preview.aclanthology.org/corrections-2026-06/2026.bigpicture-main.2/",
    doi = "10.18653/v1/2026.bigpicture-main.2",
    pages = "10--21",
    ISBN = "979-8-89176-416-3"
}