Automatically extract executable programs from pruned mechanistic circuits, extending OpenAI's Sparse Circuits
☆73Nov 23, 2025Updated 9 months ago
Alternatives and similar repositories for symbolic-circuit-distillation
Users that are interested in symbolic-circuit-distillation are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆16Sep 4, 2025Updated last year
- Configurable deep research engine☆25Apr 14, 2026Updated 4 months ago
- Experiments with some ways of automating reasoning in lean 4☆19Apr 20, 2024Updated 2 years ago
- ☆49Jun 10, 2026Updated 2 months ago
- ☆36Nov 30, 2025Updated 9 months 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.
- System-wide Lean input method☆13Feb 16, 2022Updated 4 years ago
- ☆20May 26, 2026Updated 3 months ago
- ☆25Jun 5, 2025Updated last year
- ☆19Feb 12, 2026Updated 6 months ago
- Thorn in a HaizeStack test for evaluating long-context adversarial robustness.☆26Aug 3, 2024Updated 2 years ago
- Replay the `Environment` for a given Lean module, ensuring that all declarations are accepted by the kernel.☆36Mar 25, 2026Updated 5 months ago
- Official Code for What Makes and Breaks Safety Fine-tuning? A Mechanistic Study (NeurIPS 2024)☆11Oct 31, 2024Updated last year
- ☆16Apr 7, 2025Updated last year
- My working material for COMP20008 tutorials + rewritten tutorials/labs for 2021s1☆15Nov 4, 2021Updated 4 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Flax (JAX) implementation of Progressive Growing of GANs for Improved Quality, Stability, and Variation☆12May 24, 2021Updated 5 years ago
- ☆23Jan 14, 2026Updated 7 months ago
- Ludic – an LLM-RL library for the era of experience☆67Aug 9, 2026Updated 3 weeks ago
- ☆17Feb 27, 2025Updated last year
- Example for a Monty-enabled RLM in DSPy☆20Feb 16, 2026Updated 6 months ago
- A complete Lean 4 formalization of the Kakeya set problem over finite fields☆21Dec 16, 2025Updated 8 months ago
- ☆27Nov 1, 2021Updated 4 years ago
- Compile programs directly into transformer weights. Includes a 2D convex-hull KV cache with O(log n) inference.☆218Jun 1, 2026Updated 3 months ago
- Official Repository of Paper "Watch the Weights: Unsupervised monitoring and control of fine-tuned LLMs"☆15Sep 25, 2025Updated 11 months ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- ☆15Apr 15, 2026Updated 4 months ago
- Model Context Protocol (MCP) server that provides a flexible and configurable two-stage reasoning and response generation system☆15Aug 8, 2026Updated 3 weeks ago
- ☆14Jul 14, 2015Updated 11 years ago
- Plugin Marketplace for Claude Code☆19Feb 8, 2026Updated 6 months ago
- A playground for cellular automata☆42Mar 6, 2026Updated 5 months ago
- Alpha-Zero Connect Four NN trained via self play☆27Jun 30, 2026Updated 2 months ago
- ☆27Aug 19, 2025Updated last year
- A deterministic C runtime providing transport-level routing for ACP/MCP-style agent protocols.☆19Jun 5, 2026Updated 2 months ago
- A human-friendly notation for Unicode symbols.☆52Jul 25, 2026Updated last month
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- ☆10Sep 9, 2017Updated 8 years ago
- ☆18Sep 6, 2025Updated 11 months ago
- ☆23Dec 3, 2025Updated 9 months ago
- CLaMR: Contextualized Late-Interaction for Multimodal Content Retrieval☆27Jun 28, 2025Updated last year
- Implementation of <Model Merging with Functional Dual Anchors>☆46Nov 23, 2025Updated 9 months ago
- ☆20Mar 3, 2026Updated 6 months ago
- ☆12Nov 25, 2015Updated 10 years ago