@inproceedings{quan-etal-2025-peirce,
    title = "{PEIRCE}: Unifying Material and Formal Reasoning via {LLM}-Driven Neuro-Symbolic Refinement",
    author = "Quan, Xin  and
      Valentino, Marco  and
      Carvalho, Danilo  and
      Dalal, Dhairya  and
      Freitas, Andre",
    editor = "Mishra, Pushkar  and
      Muresan, Smaranda  and
      Yu, Tao",
    booktitle = "Proceedings of the 63rd Annual Meeting of the Association for Computational Linguistics (Volume 3: System Demonstrations)",
    month = jul,
    year = "2025",
    address = "Vienna, Austria",
    publisher = "Association for Computational Linguistics",
    url = "https://preview.aclanthology.org/ingestion-acl-25/2025.acl-demo.2/",
    pages = "11--21",
    ISBN = "979-8-89176-253-4"
}