Claim Enumeration
Requires the model to explicitly list the claims its output asserts as true, making those claims visible and reviewable without attempting to verify them.
Problem
Solution
Techniques
Flat Claim Enumeration (Baseline)
Scoped Claim Enumeration
Claim and Assumption Separation