PEIRCE: Unifying Material and Formal Reasoning via LLM-Driven Neuro-Symbolic Refinement.

Xin Quan, Marco Valentino, Danilo S. Carvalho, Dhairya Dalal, Andr Freitas

Browse the full ACL paper archive.