@inproceedings{tzachristas-tzachristas-2026-natural,
    title = "From Natural Language to Certified Geometry Proofs: A Survey of {LLM}-Augmented Verification and Neuro-Symbolic Theorem Proving",
    author = "Tzachristas, Ioannis  and
      Tzachristas, Georgios",
    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/ingest-acl-workshops/2026.bigpicture-main.1/",
    pages = "1--9",
    ISBN = "979-8-89176-416-3"
}