PEIRCE: Unifying Material and Formal Reasoning via LLM-Driven Neuro-Symbolic Refinement
Xin Quan, Marco Valentino, Danilo Carvalho, Dhairya Dalal, Andre Freitas. Proceedings of the 63rd Annual Meeting of the Association for Computational Linguistics (Volume 3: System Demonstrations). 2025.
Authors
- André Victor Lucci Freitas (ORCID: https://orcid.org/0000-0002-5763-4990)
- Marco Valentino (ORCID: https://orcid.org/0000-0002-9959-8385)
- 信之 和泉
- Dhairya Dalal (ORCID: https://orcid.org/0000-0003-0279-234X)
Publication Details
- Published
- 2025-01-01
- DOI
- https://doi.org/10.18653/v1/2025.acl-demo.2
- Citations
- 1
- Primary Topic
- Natural Language Processing Techniques
- Type
- article
- Field-Weighted Citation Impact
- 2.48
Funders
- Cancer Research UK
- National Institute for Health and Care Research
- Schweizerischer Nationalfonds zur Förderung der Wissenschaftlichen Forschung
- Manchester Biomedical Research Centre
- Engineering and Physical Sciences Research Council