%Aigaion2 BibTeX export from Idiap Publications
%Thursday 04 December 2025 09:37:44 PM

@INPROCEEDINGS{Quan_ACL2025-2_2025,
                      author = {Quan, Xin and Valentino, Marco and Carvalho, Danilo and Dalal, Dhairya and Freitas, Andre},
                    projects = {Idiap},
                       title = {PEIRCE: Unifying Material and Formal Reasoning via LLM-Driven Neuro-Symbolic Refinement},
                   booktitle = {Demonstration at 63rd Annual Meeting of the Association for Computational Linguistics},
                        year = {2025}
}