Automatically extract executable programs from pruned mechanistic circuits, extending OpenAI's Sparse Circuits
☆70Nov 23, 2025Updated 6 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.☆115Apr 14, 2026Updated last month
- An reimplementation of the Proost proof-assistant written in Lean 4☆12Mar 3, 2024Updated 2 years ago
- Experiments with some ways of automating reasoning in lean 4☆18Apr 20, 2024Updated 2 years ago
- System-wide Lean input method☆12Feb 16, 2022Updated 4 years ago
- A tool to auto-generate and render slides from Markdown comments in the Lean editor.☆26Mar 10, 2026Updated 3 months ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- [ACL 2025] Analyzing LLMs' Multilingual Knowledge Boundary Cognition Across Languages Through the Lens of Internal Representations☆19Oct 18, 2025Updated 7 months ago
- ☆22Jan 14, 2026Updated 4 months ago
- ☆27Nov 1, 2021Updated 4 years ago
- ☆26Aug 19, 2025Updated 9 months ago
- Command-line utility to return Zotero record field values given a Zotero select link, an item key, or even just a file attachment☆10Dec 23, 2023Updated 2 years ago
- CloudEvents Transformation engine☆10Oct 12, 2021Updated 4 years ago
- A lightweight and flexible tool for designing intuitive workflows. Perfect for applications in AI event-driven automation, business proce…☆31Jan 15, 2026Updated 4 months ago
- A DSL for parsing and assembling binary data.☆14Mar 2, 2026Updated 3 months ago
- ☆43Oct 2, 2025Updated 8 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- DONUT: Database of Original and Non-Theoretical Applications of Topology☆18Jun 4, 2026Updated last week
- Bazel build rules for compiling Verilog☆22Mar 4, 2024Updated 2 years ago
- Python object inspector for Emacs☆13Feb 16, 2023Updated 3 years ago
- created based on universal_tool_template.py, together with module_photoshop.py, it allow you to run a cross-platform, cross-application Q…☆11Feb 8, 2017Updated 9 years ago
- Basic start of TensorFlow with TensorBoard☆11Apr 9, 2016Updated 10 years ago
- OrqueIO main source code repository☆37Updated this week
- Slim down your Docker images with the power of AI. Container Diet analyzes your images and Dockerfiles to provide actionable, context-awa…☆56May 18, 2026Updated 3 weeks ago
- the open-source code of QAgent☆58Oct 14, 2025Updated 7 months ago
- Analyze and list statistics about your Blender project to determine scene complexity and performance☆12Aug 8, 2024Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Send and receive OSC message in Blender Game Engine with python 3.4, easily, with examples.☆10Jul 18, 2018Updated 7 years ago
- Documentation for citeproc-js☆15Dec 7, 2020Updated 5 years ago
- ☆12Aug 27, 2024Updated last year
- HTML API for Citation.js☆15Jul 19, 2023Updated 2 years ago
- Leo code snippets☆13Apr 27, 2020Updated 6 years ago
- Rust FTL + WebRTC live streaming software.☆13Mar 12, 2022Updated 4 years ago
- a short, integratable reusable Qt5 image widget based on QGraphicsView and QGraphicsScene with pan and zooming capabilities☆10May 4, 2015Updated 11 years ago
- Maybe next gen of Pyzo IDE based on Flexx☆17Dec 17, 2017Updated 8 years ago
- Brax + Pufferlib + CARBS for gpu-accelerated robotics RL☆12Jun 12, 2025Updated last year
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- [Findings of EMNLP 2022] Expose Backdoors on the Way: A Feature-Based Efficient Defense against Textual Backdoor Attacks☆13Feb 26, 2023Updated 3 years ago
- Snowplow event tracker for Golang. Add analytics to your Go apps and servers☆26Mar 5, 2026Updated 3 months ago
- supercollider control voltage eurorack☆14Jun 16, 2022Updated 3 years ago
- ☆26Dec 30, 2025Updated 5 months ago
- AI eXplainable Inference & Search. Open Sourcing on-premise, ultra-fast latency intelligence to all.☆37Feb 28, 2025Updated last year
- PACT Agent Collaboration Layer☆15Jun 1, 2026Updated last week
- A small package used to visualize gradient descent of test functions.☆17Aug 1, 2022Updated 3 years ago