IDNI / tau-lang
☆22Updated this week
Related projects: ⓘ
- Like ARC, but code to generate visual puzzles. 1D puzzles first.☆15Updated last month
- Full Automation of Goal-driven LLM Dialog Threads with And-Or Recursors and Refiner Oracles☆33Updated last month
- LMQL implementation of tree of thoughts☆33Updated 7 months ago
- An example implementation of RLHF (or, more accurately, RLAIF) built on MLX and HuggingFace.☆21Updated 2 months ago
- Experiments with interactive theorem provers, LLMs and formal systems☆17Updated last year
- Turing machines, Rule 110, and A::B reversal using Claude 3 Opus.☆60Updated 4 months ago
- Categorica: a pure and applied category theory framework for the Wolfram Language☆25Updated 5 months ago
- A fast minimalistic implementation of guided generation on Apple Silicon using Outlines and MLX☆42Updated 7 months ago
- never forget anything again! combine AI and intelligent tooling for a local knowledge base to track catalogue, annotate, and plan for you…☆29Updated 4 months ago
- Flexible, efficient, and context-aware generation from large unstructured knowledge sources.☆12Updated 4 months ago
- A framework for high-fidelity retrieval augmented generation in industrial knowledge bases. Integrates jargon identification, context rec…☆25Updated last month
- ☆19Updated last month
- GraphRag vs Embeddings☆12Updated 2 months ago
- ☆23Updated 8 months ago
- ☆49Updated this week
- REBUS: A Robust Evaluation Benchmark of Understanding Symbols☆11Updated last month
- ☆16Updated 2 weeks ago
- Using Large Language Models for Repo-wide Type Prediction☆95Updated 9 months ago
- Parameter-Efficient Sparsity Crafting From Dense to Mixture-of-Experts for Instruction Tuning on General Tasks☆31Updated 3 months ago
- Factored Cognition Primer: How to write compositional language model programs☆48Updated last year
- Leveraging DSPy for AI-driven task understanding and solution generation, the Self-Discover Framework automates problem-solving through r…☆53Updated 2 months ago
- ☆10Updated 2 months ago
- A distributed agent orchestration framework for market agents☆17Updated this week
- A library for benchmarking the Long Term Memory and Continual learning capabilities of LLM based agents. With all the tests and code you…☆53Updated this week
- assign color hues to a collection of text fragments based on embeddings