ExtensityAI / symbolicaiLinks
A neurosymbolic perspective on LLMs
☆1,644Updated last week
Alternatives and similar repositories for symbolicai
Users that are interested in symbolicai are comparing it to the libraries listed below
Sorting:
- Exact structure out of any language model completion.☆515Updated 2 years ago
- A language for constraint-guided and efficient LLM programming.☆4,101Updated 6 months ago
- Code for Parsel 🐍 - generate complex programs with language models☆433Updated 2 years ago
- 🤖 A PyTorch library of curated Transformer models and their composable components☆894Updated last year
- Interactive Composition Explorer: a debugger for compositional language model programs☆563Updated 2 months ago
- ☆549Updated last year
- 🤖🌊 aiFlows: The building blocks of your collaborative AI☆272Updated last year
- Convolutions for Sequence Modeling☆908Updated last year
- A tiny library for coding with large language models.☆1,237Updated last year
- Explore and understand your training and validation data.☆849Updated 11 months ago
- A library for making RepE control vectors☆672Updated 2 months ago
- Public repo for the NeurIPS 2023 paper "Unlimiformer: Long-Range Transformers with Unlimited Length Input"☆1,063Updated last year
- Evolution Through Large Models☆736Updated 2 years ago
- Diffusion on syntax trees for program synthesis☆478Updated last year
- This repo contains data and code for the paper "Language Models Enable Simple Systems for Generating Structured Views of Heterogeneous Da…☆493Updated last year
- Weave is a toolkit for developing AI-powered applications, built by Weights & Biases.☆1,029Updated last week
- An explainable inference software supporting annotated, real valued, graph based and temporal logic☆313Updated last month
- CodeTF: One-stop Transformer Library for State-of-the-art Code LLM☆1,479Updated 7 months ago
- Minimalistic, extremely fast, and hackable researcher's toolbench for GPT models in 307 lines of code. Reaches <3.8 validation loss on wi…☆355Updated last year
- A benchmark to evaluate language models on questions I've previously asked them to solve.☆1,035Updated 7 months ago
- Directly Connecting Python to LLMs via Strongly-Typed Functions, Dataclasses, Interfaces & Generic Types☆401Updated 9 months ago
- A complete end-to-end pipeline for LLM interpretability with sparse autoencoders (SAEs) using Llama 3.2, written in pure PyTorch and full…☆628Updated 8 months ago
- Prompt programming with FMs.☆444Updated last year
- Train to 94% on CIFAR-10 in <6.3 seconds on a single A100. Or ~95.79% in ~110 seconds (or less!)☆1,295Updated last year
- Ungreedy subword tokenizer and vocabulary trainer for Python, Go & Javascript☆606Updated last year
- Seamlessly integrate LLMs as Python functions☆2,385Updated 3 weeks ago
- λprompt - A functional programming interface for building AI systems☆380Updated last year
- A tool to analyze and debug neural networks in pytorch. Use a GUI to traverse the computation graph and view the data from many different…☆296Updated last year
- A JAX research toolkit for building, editing, and visualizing neural networks.☆1,830Updated 5 months ago
- A scientific instrument for investigating latent spaces☆745Updated last month