A Pattern Language for Knowledge Engineering with Large Language Models

Claim Enumeration

Requires the model to list the claims its output asserts as true, making them visible for verification.

Problem

Assertions are buried in narrative prose, making verification difficult and encouraging uncritical acceptance of fluent text.

Solution

Require a separate list of claims (and optionally assumptions) after the answer. This externalizes what is asserted as true so each item can be reviewed and checked systematically.