phanerozoic
/

threshold-computers

threshold-logic

computer-architecture

recurrent-neural-network

in-memory-computing

self-replication

Model card Files Files and versions

threshold-computers / rocq /extract

2.36 kB

Ctrl+K

Ctrl+K

1 contributor

History: 6 commits

phanerozoic's picture

Prove the paper's counts, levelization, depth bounds, recipe lengths and Section 6 in Rocq, and revise the paper

8397e00 10 days ago

dump.ml

979 Bytes
Replace the two-bank machine with a K-bank ring, prove its reproduction in Rocq, and revise the paper 11 days ago
dumphost.ml

740 Bytes
Prove in Rocq that the host family computes SUBLEQ at every word width, check the stored host's startup and step records on decision diagrams, state the stored-host theorems for every stored host with their overhead, bound self-reproduction under noise, remove the neuromorphic mappings, and cut the paper to 30 pages 11 days ago
dumpstored.ml

636 Bytes
Prove the paper's counts, levelization, depth bounds, recipe lengths and Section 6 in Rocq, and revise the paper 10 days ago