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 last month
- Visualize the intermediate output of Mistral 7B☆378Updated 9 months ago
- LLM verified with Monte Carlo Tree Search☆282Updated 7 months ago
- Pivotal Token Search☆131Updated 4 months ago
- Controlled Text Generation via Language Model Arithmetic☆223Updated last year
- ☆116Updated 9 months ago
- ☆124Updated last year
- Code and data for "Lumos: Learning Agents with Unified Data, Modular Design, and Open-Source LLMs"☆471Updated last year
- an implementation of Self-Extend, to expand the context window via grouped attention☆118Updated last year
- Steer LLM outputs towards a certain topic/subject and enhance response capabilities using activation engineering by adding steering vecto…☆247Updated 8 months ago
- Train your own SOTA deductive reasoning model☆108Updated 8 months ago
- ☆237Updated 8 months ago
- Bayesian Optimization as a Coverage Tool for Evaluating LLMs. Accurate evaluation (benchmarking) that's 10 times faster with just a few l…☆285Updated 2 months ago
- An easy-to-understand framework for LLM samplers that rewind and revise generated tokens☆145Updated 8 months ago
- ☆104Updated 10 months ago
- This is work done by the Oxen.ai Community, trying to reproduce the Self-Rewarding Language Model paper from MetaAI.☆130Updated last year
- A DSPy-based implementation of the tree of thoughts method (Yao et al., 2023) for generating persuasive arguments☆92Updated last month
- SWE-Bench Pro: Can AI Agents Solve Long-Horizon Software Engineering Tasks?☆212Updated last week
- Use context-free grammars with an LLM☆175Updated last year
- ☆89Updated 9 months ago
- Reasoning Computers. Lambda Calculus, Fully Differentiable. Also Neural Stacks, Queues, Arrays, Lists, Trees, and Latches.☆280Updated last year
- ModuleFormer is a MoE-based architecture that includes two different types of experts: stick-breaking attention heads and feedforward exp…☆224Updated last month
- Mixing Language Models with Self-Verification and Meta-Verification☆109Updated 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…☆181Updated last week
- LILO: Library Induction with Language Observations☆88Updated last year
- Repository for the paper Stream of Search: Learning to Search in Language☆151Updated 9 months ago
- Just a bunch of benchmark logs for different LLMs☆118Updated last year
- Google Deepmind's PromptBreeder for automated prompt engineering implemented in langchain expression language.☆154Updated last year
- OpenCoconut implements a latent reasoning paradigm where we generate thoughts before decoding.☆173Updated 9 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…☆295Updated 2 months ago