activity
20242026
most citedEnhancing Ethical Explanations of Large Language Models through Iterative Symbolic Refinement

1 citations · 1 across the 4 of their papers we have counts for

collaborators
Showing 2026Show all

1 paper · 1 filter

cs.CL2026

Decompose-and-Formalise: Recursively Verifiable Natural Language Inference

Xin Quan, Marco Valentino, Louise A. Dennis +1

Recent work has shown that integrating large language models (LLMs) with theorem provers (TPs) in neuro-symbolic pipelines helps with entailment verification and proof-guided refin…