neurallambda

4 ms·

1. 1.▲
   GitHub: Neurallambda/automata: synth data for training FSMs/PDAs/Turing Machines(github.com)

   1 points by neurallambda 2y ago|0 comments
2. 2.▲
   GitHub: Awesome-reasoning, a curated list of datasets for reasoning AIs(github.com)

   17 points by neurallambda 2y ago|0 comments
3. 3.▲
   Show HN: Neurallambda, Adds reasoning via differentiable Lambda Calculus(github.com)

   3 points by neurallambda 3y ago|0 comments
4. 4.▲
   by neurallambda 3y ago

   "AI heats the planet"... really? You mean marginally? I'll assume you're asking in good faith. Using NNs allows this project to stand on the shoulders of giants: philosophically, mathematically, programmatically, but als
5. 5.▲
   by neurallambda 3y ago

   It can get this simple example right if it does chain of thought. If you ask it to just output the answer without answering other bullet points, it will very likely not get it right. Chain of thought is duct tape to actual reasoning, and th
6. 6.▲
   GitHub: Neurallambda. Reasoning Computers via Differentiable Lambda Calculus(github.com)

   3 points by neurallambda 3y ago|0 comments
7. 7.▲
   by neurallambda 3y ago

   I'm trying to tackle this problem more head-on, by outfitting LLMs with lambda calculus, stacks, queues, etc. directly in their internals, operating over their latent space. [1] I'll read your paper, but, LLMs famously fail horrib