VictorTaelin / ab_challenge_evalLinks
Evaluator for the A::B Prompting Challenge
☆27Updated last year
Alternatives and similar repositories for ab_challenge_eval
Users that are interested in ab_challenge_eval are comparing it to the libraries listed below
Sorting:
- Reasoning Computers. Lambda Calculus, Fully Differentiable. Also Neural Stacks, Queues, Arrays, Lists, Trees, and Latches.☆285Updated last year
- explore token trajectory trees on instruct and base models☆150Updated 7 months ago
- Grounding LLM mathematical reasoning with proof assistants.☆64Updated 2 years ago
- LLM verified with Monte Carlo Tree Search☆284Updated 9 months ago
- This repository explains and provides examples for "concept anchoring" in GPT4.☆71Updated 2 years ago
- ☆109Updated last year
- LeanUniverse: A Library for Consistent and Scalable Lean4 Dataset Management☆75Updated last year
- ☆285Updated 4 months ago
- a curated list of data for reasoning ai☆140Updated last year
- LLMs + Lean, on your laptop or in the cloud☆198Updated 3 months ago
- ☆89Updated this week
- Minimal open-source implementation of AlphaProof [WIP]☆59Updated this week
- Turing machines, Rule 110, and A::B reversal using Claude 3 Opus.☆58Updated last year
- Fast parallel LLM inference for MLX☆242Updated last year
- look how they massacred my boy☆63Updated last year
- smol models are fun too☆93Updated last year
- A multi-player tournament benchmark that tests LLMs in social reasoning, strategy, and deception. Players engage in public and private co…☆296Updated last week
- A tree-based prefix cache library that allows rapid creation of looms: hierarchal branching pathways of LLM generations.☆77Updated 11 months ago
- ☆83Updated 7 months ago
- ☆105Updated last year
- Harmonic Datasets☆52Updated last year
- Losslessly encode text natively with arithmetic coding and HuggingFace Transformers☆76Updated 2 months ago
- Aidan Bench attempts to measure <big_model_smell> in LLMs.☆315Updated 6 months ago
- noise_step: Training in 1.58b With No Gradient Memory☆220Updated last year
- ☆125Updated last year
- Modify Entropy Based Sampling to work with Mac Silicon via MLX☆49Updated last year
- A comprehensive repository of reasoning tasks for LLMs (and beyond)☆455Updated last year
- A DSPy-based implementation of the tree of thoughts method (Yao et al., 2023) for generating persuasive arguments☆96Updated 3 months ago
- A package for defining deep learning models using categorical algebraic expressions.☆61Updated last year
- A graph visualization of attention☆57Updated 8 months ago