NLPExplorer
Papers
Venues
Authors
Authors Timeline
Field of Study
URLs
ACL N-gram Stats
TweeNLP
API
Team
Faithful and Robust LLM-Driven Theorem Proving for NLI Explanations
Xin Quan
|
Marco Valentino
|
Louise A. Dennis
|
Andre Freitas
|
Paper Details:
Month: July
Year: 2025
Location: Vienna, Austria
Venue:
ACL |
Citations
URL
No Citations Yet
https://github.com/neuro-
https://cvc4.github.io/
https://vprover.github.io/projects.html
https://www.sympy.org/en/index.html
https://github.com/neuro-symbolic-
Field Of Study