CONF Quan_ACL2025-2_2025/IDIAP PEIRCE: Unifying Material and Formal Reasoning via LLM-Driven Neuro-Symbolic Refinement Quan, Xin Valentino, Marco Carvalho, Danilo Dalal, Dhairya Freitas, Andre Demonstration at 63rd Annual Meeting of the Association for Computational Linguistics 2025