GitHub: Neurallambda/automata: synth data for training FSMs/PDAs/Turing Machinesgithub.com·1 pts·neurallambda·0
GitHub: Awesome-reasoning, a curated list of datasets for reasoning AIsgithub.com·17 pts·neurallambda·0
Show HN: Neurallambda, Adds reasoning via differentiable Lambda Calculusgithub.com·3 pts·neurallambda·0
GitHub: Neurallambda. Reasoning Computers via Differentiable Lambda Calculusgithub.com·3 pts·neurallambda·0