neurallambda / awesome-reasoningLinks
a curated list of data for reasoning ai
☆140Updated last year
Alternatives and similar repositories for awesome-reasoning
Users that are interested in awesome-reasoning are comparing it to the libraries listed below
Sorting:
- ☆116Updated 8 months ago
- Pivotal Token Search☆130Updated 3 months ago
- Alice in Wonderland code base for experiments and raw experiments data☆131Updated last month
- Controlled Text Generation via Language Model Arithmetic☆223Updated last year
- ☆123Updated last year
- LLM verified with Monte Carlo Tree Search☆280Updated 6 months ago
- an implementation of Self-Extend, to expand the context window via grouped attention☆118Updated last year
- Train your own SOTA deductive reasoning model☆108Updated 7 months ago
- Steer LLM outputs towards a certain topic/subject and enhance response capabilities using activation engineering by adding steering vecto…☆246Updated 8 months ago
- Use context-free grammars with an LLM☆175Updated last year
- A DSPy-based implementation of the tree of thoughts method (Yao et al., 2023) for generating persuasive arguments☆90Updated 3 weeks ago
- An easy-to-understand framework for LLM samplers that rewind and revise generated tokens☆145Updated 8 months ago
- Visualize the intermediate output of Mistral 7B☆375Updated 9 months ago
- ☆102Updated 9 months ago
- Just a bunch of benchmark logs for different LLMs☆118Updated last year
- Code and data for "Lumos: Learning Agents with Unified Data, Modular Design, and Open-Source LLMs"☆470Updated last year
- look how they massacred my boy☆63Updated last year
- ☆233Updated 7 months ago
- ☆35Updated 2 years ago
- OpenCoconut implements a latent reasoning paradigm where we generate thoughts before decoding.☆172Updated 9 months ago
- Mixing Language Models with Self-Verification and Meta-Verification☆109Updated 10 months ago
- MiniHF is an inference, human preference data collection, and fine-tuning tool for local language models. It is intended to help the user…☆181Updated 2 weeks ago
- LILO: Library Induction with Language Observations☆88Updated last year
- Synthetic Data for LLM Fine-Tuning☆120Updated last year
- Reasoning Computers. Lambda Calculus, Fully Differentiable. Also Neural Stacks, Queues, Arrays, Lists, Trees, and Latches.☆279Updated 11 months ago
- Bayesian Optimization as a Coverage Tool for Evaluating LLMs. Accurate evaluation (benchmarking) that's 10 times faster with just a few l…☆286Updated last month
- Simple replication of [ColBERT-v1](https://arxiv.org/abs/2004.12832).☆79Updated last year
- explore token trajectory trees on instruct and base models☆147Updated 4 months ago
- SWE-Bench Pro: Can AI Agents Solve Long-Horizon Software Engineering Tasks?☆196Updated last week
- ☆142Updated last month