A sequence-memory research workbench: Z3 Boolean circuit synthesis, PyTorch state-space models, attention, stack RNNs and liquid reservoirs. Compare routing, nesting, copy and counting tasks with saved experimental results.
