Automatically extract executable programs from pruned mechanistic circuits, extending OpenAI's Sparse Circuits
☆67Nov 23, 2025Updated 4 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:
- Analyze AI agent trajectories: extract actions, summarize, embed, and visualize.☆105Apr 2, 2026Updated last week
- Experiments with some ways of automating reasoning in lean 4☆17Apr 20, 2024Updated last year
- System-wide Lean input method☆12Feb 16, 2022Updated 4 years ago
- [ACL 2025] Analyzing LLMs' Multilingual Knowledge Boundary Cognition Across Languages Through the Lens of Internal Representations☆18Oct 18, 2025Updated 5 months ago
- A tool to auto-generate and render slides from Markdown comments in the Lean editor.☆25Mar 10, 2026Updated 3 weeks ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- An open-source, self-hosted, and non-custodial solution for receiving cryptocurrency donations.☆37Jul 1, 2025Updated 9 months ago
- ☆22Jan 14, 2026Updated 2 months ago
- Repository of the Keybee Keyboard android application currently live on Google Play Store.☆51Sep 29, 2025Updated 6 months ago
- ☆26Nov 1, 2021Updated 4 years ago
- Datatypes as quotients of polynomial functors☆41May 4, 2020Updated 5 years ago
- A lightweight and flexible tool for designing intuitive workflows. Perfect for applications in AI event-driven automation, business proce…☆27Jan 15, 2026Updated 2 months ago
- ☆41Oct 2, 2025Updated 6 months ago
- A DSL for parsing and assembling binary data.☆14Mar 2, 2026Updated last month
- the open-source code of QAgent☆57Oct 14, 2025Updated 5 months ago
- NordVPN Special Discount Offer • AdSave on top-rated NordVPN 1 or 2-year plans with secure browsing, privacy protection, and support for for all major platforms.
- Masonry.js Extension for Quarto.☆14Apr 1, 2026Updated last week
- Code to reproduce the models and analysis in the paper "Leveraging the Alignment between Machine Learning and Intersectionality: Using W…☆17Mar 19, 2021Updated 5 years ago
- Slim down your Docker images with the power of AI. Container Diet analyzes your images and Dockerfiles to provide actionable, context-awa…☆54Mar 1, 2026Updated last month
- OrqueIO main source code repository☆24Mar 26, 2026Updated 2 weeks ago
- Template app using Cloudflare Workers, Hono, and Replicate to generate images using Flux Schnell☆17Feb 13, 2025Updated last year
- ☆12Jul 11, 2023Updated 2 years ago
- A free and opensource yolov8, yolo11 and yolo26 all in one training tool that automates file structure and yaml files, auto labeling with…☆35Feb 26, 2026Updated last month
- Documentation for citeproc-js☆15Dec 7, 2020Updated 5 years ago
- Simply drag and drop your PDF files into Preve to get started. Ask Preve questions about your document. Get Summaries, key points, specif…☆11Apr 5, 2025Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- ☆12Aug 27, 2024Updated last year
- Realtime collaboration example.☆14Oct 27, 2020Updated 5 years ago
- Rust FTL + WebRTC live streaming software.☆13Mar 12, 2022Updated 4 years ago
- My OpenCode and Oh-My-OpenCode configuration files with API proxy setup documentation☆35Jan 5, 2026Updated 3 months ago
- A minimal isometric tilemap implementation in JavaScript and P5js☆13Mar 4, 2022Updated 4 years ago
- Reverse engineered Twitter's API☆13Nov 28, 2023Updated 2 years ago
- Brax + Pufferlib + CARBS for gpu-accelerated robotics RL☆12Jun 12, 2025Updated 9 months ago
- CaSIL is an advanced natural language processing system that implements a sophisticated four-layer semantic analysis architecture. It pro…☆67Nov 5, 2024Updated last year
- [Findings of EMNLP 2022] Expose Backdoors on the Way: A Feature-Based Efficient Defense against Textual Backdoor Attacks☆13Feb 26, 2023Updated 3 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- An oil land-spill and overland flow simulator for pipeline rupture events☆13Jun 10, 2021Updated 4 years ago
- watch anime, movies, tv shows and read manga from comfort of the cli☆11Sep 15, 2024Updated last year
- Composable Data and Type Generators for C++☆10Mar 25, 2019Updated 7 years ago
- A JavaScript implementation of the WebVTT specification☆13Jun 12, 2018Updated 7 years ago
- supercollider control voltage eurorack☆14Jun 16, 2022Updated 3 years ago
- Optimizing diffusion for production-ready speeds☆39Jan 10, 2026Updated 2 months ago
- AI eXplainable Inference & Search. Open Sourcing on-premise, ultra-fast latency intelligence to all.☆37Feb 28, 2025Updated last year