TY  - RPRT
TI  - Verification and Refinement of Natural Language Explanations through LLM-Symbolic Theorem Proving
AU  - Xin Quan
AU  - Marco Valentino
AU  - Louise A. Dennis
AU  - André Freitas
PY  - 2024
UR  - https://arxiv.org/abs/2405.01379
ID  - 2405.01379
ER  -