Hacker News new | past | comments | ask | show | jobs | submit | neurallambda's submissions login

1. GitHub: Neurallambda/automata: synth data for training FSMs/PDAs/Turing Machines (github.com/neurallambda) 1 point by neurallambda 34 days ago | past 2. GitHub: Awesome-reasoning, a curated list of datasets for reasoning AIs (github.com/neurallambda) 17 points by neurallambda 34 days ago | past 3. Show HN: Neurallambda, Adds reasoning via differentiable Lambda Calculus (github.com/neurallambda) 3 points by neurallambda 68 days ago | past 4. GitHub: Neurallambda. Reasoning Computers via Differentiable Lambda Calculus (github.com/neurallambda) 3 points by neurallambda 68 days ago | past

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact Search: