Verification and Refinement of Natural Language Explanations through LLM-Symbolic Theorem Proving
| Type of publication: | Conference paper |
| Citation: | Quan_EMNLP2024_2024 |
| Booktitle: | Proceedings of the 2024 Conference on Empirical Methods in Natural Language Processing |
| Year: | 2024 |
| Keywords: | |
| Projects |
Idiap |
| Authors | |
| Added by: | [UNK] |
| Total mark: | 0 |
|
Attachments
|
|
|
Notes
|
|
|
|
|