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:
- Alice in Wonderland code base for experiments and raw experiments data☆131Updated 3 months ago
- Pivotal Token Search☆135Updated last week
- LLM verified with Monte Carlo Tree Search☆284Updated 8 months ago
- an implementation of Self-Extend, to expand the context window via grouped attention☆119Updated last year
- Visualize the intermediate output of Mistral 7B☆381Updated 11 months ago
- ☆115Updated 10 months ago
- Steer LLM outputs towards a certain topic/subject and enhance response capabilities using activation engineering by adding steering vecto…☆263Updated 10 months ago
- Controlled Text Generation via Language Model Arithmetic☆224Updated last year
- ☆248Updated 9 months ago
- ☆125Updated last year
- Train your own SOTA deductive reasoning model☆107Updated 9 months ago
- Code and data for "Lumos: Learning Agents with Unified Data, Modular Design, and Open-Source LLMs"☆473Updated last year
- Bayesian Optimization as a Coverage Tool for Evaluating LLMs. Accurate evaluation (benchmarking) that's 10 times faster with just a few l…☆287Updated 3 months ago
- Just a bunch of benchmark logs for different LLMs☆119Updated last year
- An easy-to-understand framework for LLM samplers that rewind and revise generated tokens☆150Updated 10 months ago
- This is work done by the Oxen.ai Community, trying to reproduce the Self-Rewarding Language Model paper from MetaAI.☆132Updated last year
- ☆105Updated 11 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…☆183Updated last month
- Mistral7B playing DOOM☆138Updated last year
- Reasoning Computers. Lambda Calculus, Fully Differentiable. Also Neural Stacks, Queues, Arrays, Lists, Trees, and Latches.☆284Updated last year
- Use context-free grammars with an LLM☆175Updated last year
- ☆147Updated 3 months ago
- SWE-Bench Pro: Can AI Agents Solve Long-Horizon Software Engineering Tasks?☆233Updated last month
- explore token trajectory trees on instruct and base models☆149Updated 6 months ago
- Mixing Language Models with Self-Verification and Meta-Verification☆111Updated last year
- ☆91Updated 11 months ago
- GRPO training code which scales to 32xH100s for long horizon terminal/coding tasks. Base agent is now the top Qwen3 agent on Stanford's T…☆317Updated 4 months ago
- OpenCoconut implements a latent reasoning paradigm where we generate thoughts before decoding.☆174Updated 11 months ago
- ModuleFormer is a MoE-based architecture that includes two different types of experts: stick-breaking attention heads and feedforward exp…☆226Updated 3 months ago
- Long context evaluation for large language models☆224Updated 9 months ago