Deriving Claim Status from Evidence Graphs
Paper claims should carry machine-checkable status. We model claims, runs, and citations as a typed graph in which claim status (open / supported / refuted) is derived from linked evidence rather than asserted, and show reviewers locate unsupported claims 4× faster.
1/1
claims supported
1 · 1
experiments · runs
0
span citations
0
referenced papers
Claims & evidence
Status is derived from linked evidence, never asserted.
thesis
Deriving claim status from evidence links makes unsupported claims mechanically discoverable.
§1supported
- ⊕ supports001-reviewer-studylocallocate_speedup 4.2xsuggestive
Experiments & results
Every number traces to a recorded run with git sha, env hash, and seed.
| Experiment | Hypothesis | Run | Metrics |
|---|---|---|---|
001-reviewer-study Reviewer locate-time study | Reviewers find unsupported claims faster with a derived-status graph. | 9c01d44local | locate_speedup 4.2x |