File size: 477 Bytes
cbbc874
 
 
 
 
 
 
 
 
 
1
2
3
4
5
6
7
8
9
10
11
# Claim 5 source audit

Primary PDF SHA-256:
`fbc31ec9024e20bef85e4e12a262991f098c093d171d6063d57bcf62419b562b`.

The complete source inventory covers preliminaries, AHAT/SMAT simulation,
constant-depth circuit characterizations, looped-depth characterizations,
discussion, fixed-point definitions, architectural definitions, gadgets, and
proof appendices. It specifies no dataset, optimizer, loss, training schedule,
checkpoint, benchmark protocol, or empirical result table.