VictorTaelin / ab_challenge_eval
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
- look how they massacred my boy☆63Updated 6 months ago
- Grounding LLM mathematical reasoning with proof assistants.☆63Updated last year
- Losslessly encode text natively with arithmetic coding and HuggingFace Transformers☆73Updated 8 months ago
- Simple demo showing how to use the Forge API by Nous Research☆11Updated 5 months ago
- This repository explains and provides examples for "concept anchoring" in GPT4.☆72Updated last year
- Reasoning Computers. Lambda Calculus, Fully Differentiable. Also Neural Stacks, Queues, Arrays, Lists, Trees, and Latches.☆252Updated 5 months ago
- Modify Entropy Based Sampling to work with Mac Silicon via MLX☆50Updated 5 months ago
- this is a TypeScript-based MCP server that implements a simple loom and makes it available for Claude to use.☆20Updated 4 months ago
- ☆76Updated 4 months ago
- Turing machines, Rule 110, and A::B reversal using Claude 3 Opus.☆59Updated 11 months ago
- ☆27Updated 7 months ago
- ☆112Updated 4 months ago
- LLM Divergent Thinking Creativity Benchmark. LLMs generate 25 unique words that start with a given letter with no connections to each oth…☆32Updated last month
- An easy-to-understand framework for LLM samplers that rewind and revise generated tokens☆139Updated 2 months ago
- an implementation of Self-Extend, to expand the context window via grouped attention☆119Updated last year
- a curated list of data for reasoning ai☆134Updated 8 months ago
- MLX port for xjdr's entropix sampler (mimics jax implementation)☆64Updated 5 months ago
- ☆20Updated 5 months ago
- Synthetic data derived by templating, few shot prompting, transformations on public domain corpora, and monte carlo tree search.☆32Updated last month
- ☆80Updated 3 months ago
- LeanUniverse: A Library for Consistent and Scalable Lean4 Dataset Management☆61Updated 3 months ago
- smol models are fun too☆92Updated 5 months ago
- A tree-based prefix cache library that allows rapid creation of looms: hierarchal branching pathways of LLM generations.☆68Updated 2 months ago
- A fast minimalistic implementation of guided generation on Apple Silicon using Outlines and MLX☆53Updated last year
- MiniHF is an inference, human preference data collection, and fine-tuning tool for local language models. It is intended to help the user…☆170Updated this week
- Training GPTs to solve interaction nets☆17Updated 8 months ago
- The open-source implementation of Q*, achieved in context as a zero-shot reprogramming of the attention mechanism. (synthetic data)Updated 4 months ago
- Flexible, efficient, and context-aware generation from large unstructured knowledge sources.☆16Updated 11 months ago
- an open source reproduction of NVIDIA's nGPT (Normalized Transformer with Representation Learning on the Hypersphere)☆96Updated last month
- A repository of prompts and Python scripts for intelligent transformation of raw text into diverse formats.☆30Updated last year