Krauth-Mezard Storage Capacity of the Ising Perceptron
Prior state unknown→proved
the last conditional step in the Ding-Sun and Huang bounds is discharged
SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review
probability-statistics / Probability
Krauth-Mezard Storage Capacity of the Ising Perceptron
the last conditional step in the Ding-Sun and Huang bounds is discharged
35Significance / 100
1Frontier events
0Verification tasks
0Recorded attempts
Temporal state
Current frontier
No reconciled state yet.
Append-only history
Frontier timeline
Research memory
Claims and attempts
Scoped claims
the last conditional step in the Ding-Sun and Huang bounds is discharged
the last conditional step in the Ding-Sun and Huang bounds is discharged
Recorded attempts
Evidence graph
Connected research record
- →the last conditional step in the Ding-Sun and Huang bounds is discharged
parent of · claim · theorem
- →Krauth-Mezard Storage Capacity of the Ising Perceptron
parent of · event · claim reported