External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Verification and Refinement of Natural Language Explanations through LLM-Symbolic Theorem Proving

Xin Quan, Marco Valentino, Louise A. Dennis, André Freitas. Verification and Refinement of Natural Language Explanations through LLM-Symbolic Theorem Proving. In Yaser Al-Onaizan, Mohit Bansal, Yun-Nung Chen, editors, Proceedings of the 2024 Conference on Empirical Methods in Natural Language Processing, EMNLP 2024, Miami, FL, USA, November 12-16, 2024. pages 2933-2958, Association for Computational Linguistics, 2024. [doi]

Authors

Xin Quan

This author has not been identified. Look up 'Xin Quan' in Google

Marco Valentino

This author has not been identified. Look up 'Marco Valentino' in Google

Louise A. Dennis

This author has not been identified. Look up 'Louise A. Dennis' in Google

André Freitas

This author has not been identified. Look up 'André Freitas' in Google
runs on