PEIRCE: Unifying Material and Formal Reasoning via LLM-Driven Neuro-Symbolic Refinement
| Type of publication: | Conference paper |
| Citation: | Quan_ACL2025-2_2025 |
| Booktitle: | Demonstration at 63rd Annual Meeting of the Association for Computational Linguistics |
| Year: | 2025 |
| Keywords: | |
| Projects: |
Idiap |
| Authors: | |
| Added by: | [UNK] |
| Total mark: | 0 |
|
Attachments
|
|
|
Notes
|
|
|
|
|