NLPExplorer
Papers
Venues
Authors
Authors Timeline
Field of Study
URLs
ACL N-gram Stats
TweeNLP
API
Team
PEIRCE: Unifying Material and Formal Reasoning via LLM-Driven Neuro-Symbolic Refinement
Xin Quan
|
Marco Valentino
|
Danilo Carvalho
|
Dhairya Dalal
|
Andre Freitas
|
Paper Details:
Month: July
Year: 2025
Location: Vienna, Austria
Venue:
ACL |
Citations
URL
No Citations Yet
https://github.com/neuro-symbolic-ai/peirce/
https://github.com/neuro-symbolic-ai/SSKB
https://github.com/dscarvalho/saf
https://openai.com/index/openai-api/
https://huggingface.co/models
https://isabelle.in.tum.de/
https://www.swi-prolog.org/
Field Of Study