Full evidence for an automated claim-by-claim audit of
Grokking phase transitions in learning local rules with gradient descent, produced by
Lemma, an AI-scientist pipeline built
for re:AGENT (Founders Inc, Aug 15–16 2026).
Verdict: 5 supported / 0 falsified / 1 inconclusive
of 6 extracted claims. Judge verdict: PASS (5/5).
