Paper Synopsis:

• Introduces argumentative large language models (LLMs) that incorporate argumentation frameworks for explainable AI.
• Method aids in formal reasoning within decision-making processes, facilitating ongoing human interaction and contestation.
• Showcases application to claim verification tasks, with results indicating enhanced contestability and explainability.

Relevance: By merging LLM capabilities with argumentative reasoning, this methodology fosters trust and understanding in AI applications, potentially transforming how AI is used in complex decision-making environments.