NLPExplorer
Papers
Venues
Authors
Authors Timeline
Field of Study
URLs
ACL N-gram Stats
TweeNLP
API
Team
Verification and Refinement of Natural Language Explanations through LLM-Symbolic Theorem Proving
Xin Quan
|
Marco Valentino
|
Louise A. Dennis
|
Andre Freitas
|
Paper Details:
Month: November
Year: 2024
Location: Miami, Florida, USA
Venue:
EMNLP |
Citations
URL
No Citations Yet
https://github.com/neuro-
https://docs.mistral.ai/
https://github.com/neuro-symbolic-
Field Of Study