5 ms·GitHub: Neurallambda/automata: synth data for training FSMs/PDAs/Turing Machines1 points by neurallambda 2y ago