Expand description
ContextProofV2 — Claim-based verification schema.
Extends ContextProofV1 with structured claims that decompose LLM output verification into individually verifiable assertions. Each claim is routed to the appropriate verifier and tagged with its verification status and evidence.
Design based on:
- Amazon Cedar VGD (arXiv:2407.01688)
- VERGE neurosymbolic verification (arXiv:2601.20055)
- VeriGuard formal safety (arXiv:2510.05156)