Search Results for author: Xin Quan

Found 2 papers, 1 papers with code

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

no code implementations • 2 May 2024 • Xin Quan, Marco Valentino, Louise A. Dennis, André Freitas

Natural language explanations have become a proxy for evaluating explainable and multi-step Natural Language Inference (NLI) models.

Automated Theorem Proving Natural Language Inference

Paper
Add Code

Enhancing Ethical Explanations of Large Language Models through Iterative Symbolic Refinement

1 code implementation • 1 Feb 2024 • Xin Quan, Marco Valentino, Louise A. Dennis, André Freitas

An increasing amount of research in Natural Language Inference (NLI) focuses on the application and evaluation of Large Language Models (LLMs) and their reasoning capabilities.

In-Context Learning Natural Language Inference

Paper
Code

Cannot find the paper you are looking for? You can Submit a new open access paper.