TY  - RPRT
TI  - PEIRCE: Unifying Material and Formal Reasoning via LLM-Driven Neuro-Symbolic Refinement
AU  - Xin Quan
AU  - Marco Valentino
AU  - Danilo S. Carvalho
AU  - Dhairya Dalal
AU  - André Freitas
PY  - 2025
UR  - https://arxiv.org/abs/2504.04110
ID  - 2504.04110
ER  -