ExtensityAI / symbolicaiLinks
A neurosymbolic perspective on LLMs
β1,612Updated last week
Alternatives and similar repositories for symbolicai
Users that are interested in symbolicai are comparing it to the libraries listed below
Sorting:
- Code for Parsel π - generate complex programs with language modelsβ432Updated 2 years ago
- A library for making RepE control vectorsβ647Updated 2 weeks ago
- Exact structure out of any language model completion.β512Updated 2 years ago
- π€ A PyTorch library of curated Transformer models and their composable componentsβ893Updated last year
- β547Updated last year
- Public repo for the NeurIPS 2023 paper "Unlimiformer: Long-Range Transformers with Unlimited Length Input"β1,063Updated last year
- A language for constraint-guided and efficient LLM programming.β4,061Updated 4 months ago
- A benchmark to evaluate language models on questions I've previously asked them to solve.β1,031Updated 5 months ago
- This repo contains data and code for the paper "Language Models Enable Simple Systems for Generating Structured Views of Heterogeneous Daβ¦β490Updated last year
- Explore and understand your training and validation data.β844Updated 9 months ago
- System 2 Reasoning Link Collectionβ855Updated 6 months ago
- A tiny library for coding with large language models.β1,234Updated last year
- Diffusion on syntax trees for program synthesisβ475Updated last year
- Multiversal tree writing interface for human-AI collaborationβ1,292Updated last year
- Interactive Composition Explorer: a debugger for compositional language model programsβ557Updated this week
- π€π aiFlows: The building blocks of your collaborative AIβ272Updated last year
- Constrained Decoding for LLMs against JSON Schemaβ329Updated 2 years ago
- LLM Analyticsβ686Updated 11 months ago
- A JAX research toolkit for building, editing, and visualizing neural networks.β1,823Updated 3 months ago
- A school for camelidsβ1,207Updated 2 years ago
- Convolutions for Sequence Modelingβ898Updated last year
- A library for generative social simulationβ1,032Updated last week
- Minimalistic, extremely fast, and hackable researcher's toolbench for GPT models in 307 lines of code. Reaches <3.8 validation loss on wiβ¦β348Updated last year
- Directly Connecting Python to LLMs via Strongly-Typed Functions, Dataclasses, Interfaces & Generic Typesβ399Updated 7 months ago
- utilities for decoding deep representations (like sentence embeddings) back to textβ949Updated 2 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β¦β626Updated 6 months ago
- Fine-tune mistral-7B on 3090s, a100s, h100sβ714Updated last year
- Ξ»prompt - A functional programming interface for building AI systemsβ380Updated last year
- Prompt programming with FMs.β443Updated last year
- Weave is a toolkit for developing AI-powered applications, built by Weights & Biases.β1,000Updated this week