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
Louise A. Dennis
Marco Valentino