Implementing RASP transformer programming language https://arxiv.org/pdf/2106.06981.pdf.
☆64Nov 1, 2025Updated 11 months ago
Alternatives and similar repositories for rasp
Users that are interested in rasp are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Implementation for robust ViT and scaled attention☆21Apr 4, 2025Updated last year
- An exploration of LLM steering☆29Jun 15, 2024Updated 2 years ago
- I have no idea what I'm doing , but llm.c in rust☆13Jul 16, 2024Updated 2 years ago
- ☆17Nov 1, 2023Updated 2 years ago
- RASP-L in Haskell for my fellow rascals☆20Dec 3, 2023Updated 2 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆31May 4, 2023Updated 3 years ago
- This repository includes code to reproduce the tables in "Loss Landscapes are All You Need: Neural Network Generalization Can Be Explaine…☆40Mar 2, 2023Updated 3 years ago
- An interpreter for RASP as described in the ICML 2021 paper "Thinking Like Transformers"☆345Sep 16, 2024Updated 2 years ago
- ☆570Feb 5, 2024Updated 2 years ago
- Logic Reinforcement Learning☆21Oct 20, 2025Updated 11 months ago
- A framework for simulating quantum mechanical thought experiments in projectq☆19Jul 12, 2022Updated 4 years ago
- IBM iQuHACK 2024 In-Person Challenge☆15Feb 6, 2024Updated 2 years ago
- ☆17Sep 11, 2026Updated last month
- Paradox model finder and equinox theorem prover for first-order logic.☆22Sep 20, 2025Updated last year
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Fast and Modularized CFG-focused Models☆23Nov 8, 2023Updated 2 years ago
- Python version of: https://github.com/sameerlal/OMakeMeAMarket☆27Jun 5, 2023Updated 3 years ago
- Compositional Explanations of Neurons, NeurIPS 2020 https://arxiv.org/abs/2006.14032☆27Apr 9, 2021Updated 5 years ago
- Clone of iris-reasoner (http://iris-reasoner.org) from sourceforge☆11Mar 18, 2016Updated 10 years ago
- A toy nanopass compiler for x86 written in lean☆15Oct 25, 2025Updated 11 months ago
- Render and run context-rich Lean 4 prompts in VS Code.☆12Aug 14, 2025Updated last year
- ☆10Feb 18, 2018Updated 8 years ago
- ☆23Dec 15, 2020Updated 5 years ago
- Portable Qt-based console for SWI-Prolog by Carlo Capelli☆11Sep 9, 2025Updated last year
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Collection of RL Environments built using Madrona☆40Aug 11, 2023Updated 3 years ago
- ☆14Mar 23, 2026Updated 6 months ago
- The new Reactome REST API to access the data☆11May 22, 2026Updated 4 months ago
- Weighted multiple-instance learning algorithm☆18Oct 9, 2018Updated 8 years ago
- An interactive exploration of Transformer programming.☆280Nov 15, 2023Updated 2 years ago
- programmable e-paper tag with RFID☆10Jul 12, 2023Updated 3 years ago
- Hal Daume's hbc☆20Jan 23, 2010Updated 16 years ago
- ☆11Nov 23, 2018Updated 7 years ago
- A scalable abstraction learning library☆105Sep 8, 2026Updated last month
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Learning from preferences is a common paradigm for fine-tuning language models. Yet, many algorithmic design decisions come into play. Ou…☆32Apr 20, 2024Updated 2 years ago
- A Python library to simplify quantum circuits of phase and Pauli gadgets.☆18Jan 22, 2025Updated last year
- Code for reproducing the results from "CrAM: A Compression-Aware Minimizer" accepted at ICLR 2023☆10Mar 1, 2023Updated 3 years ago
- ☆57Oct 1, 2026Updated 2 weeks ago
- Lab exercises for COMP0088 Introduction to Machine Learning☆22Sep 17, 2024Updated 2 years ago
- Mathematical learnings with Lean, for those of us who wish we knew more of both!☆11Aug 27, 2022Updated 4 years ago
- Code for NeurIPS 2024 paper "A SARS-CoV-2 Interaction Dataset and VHH Sequence Corpus for Antibody Language Models"☆17Oct 17, 2024Updated 2 years ago