Differentiable coherent factuality — native audit
Official commit 0b4d5487 · released MATH graphs · semantic gate v4
6/6
claims supported
50
released graphs
503
claim nodes
146k
prediction decisions
5.263
gradient norm
26.07
ancestor-control L1
MATH reliability
literal falsification
FELM gain
verified
12
local point target