2 citations · 3 across the 9 of their papers we have counts for
3 papers · 1 filter
Consistent Autoformalization for Constructing Mathematical Libraries
Lan Zhang, Xin Quan, Andre Freitas
Autoformalization is the task of automatically translating mathematical content written in natural language to a formal language expression. The growing language interpretation cap…
Verification and Refinement of Natural Language Explanations through LLM-Symbolic Theorem Proving
Xin Quan, Marco Valentino, Louise A. Dennis +1
Natural language explanations represent a proxy for evaluating explanation-based and multi-step Natural Language Inference (NLI) models. However, assessing the validity of explanat…
Enhancing Ethical Explanations of Large Language Models through Iterative Symbolic Refinement
Xin Quan, Marco Valentino, Louise A. Dennis +1
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. Des…