Cite
Notes
Only stored in your browser.
Attribution
Verification and Refinement of Natural Language Explanations through LLM-Symbolic Theorem Proving
arXiv 2024
from 1 papers
Andre Freitas
Marco Valentino
Xin Quan