Towards a Formal Framework for Evaluating Explanations in Automated Fact Verification

This paper proposes a formal framework for conceptualizing and evaluating different types of rationalizing explanations (free-form, deductive, and argumentative) in the context of automated fact verification.