This is work-in-progress (WIP) refactored implementation of "Retreival-guided Reinforcement Learning for Boolean Circuit Minimization" work published in ICLR 2024.
☆12May 10, 2024Updated 2 years ago
Alternatives and similar repositories for ABC-RL
Users that are interested in ABC-RL are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Reinforcement Learning (PPO) applied to a multiplayer simple card game (Witches)☆10Jun 7, 2020Updated 6 years ago
- ThermalGCN☆10Jan 27, 2023Updated 3 years ago
- [ICCAD 2025] PPAAS: PVT and Pareto Aware Analog Sizing Analog Sizing via Goal-conditioned Reinforcement Learning☆18Nov 9, 2025Updated 11 months ago
- AI4EDA: AI Works for Electronic Design Automation☆17Dec 3, 2025Updated 11 months ago
- M3D routing challenge: a reproducible EDA routing benchmark for a simplified monolithic-3D stack (generator, checker, scorer, baseline, v…☆52Oct 20, 2026Updated 2 weeks 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.
- ☆123Oct 15, 2026Updated 3 weeks ago
- ☆21Nov 13, 2023Updated 2 years ago
- This project is a open-source yield analysis for SRAM circuits☆33Updated this week
- ☆30Jun 25, 2024Updated 2 years ago
- RTL-to-GDS: syn -> sta -> pnr -> gds☆15Sep 1, 2026Updated 2 months ago
- Dual Operation Aggregation Graph Neural Networks for Solving Flexible Job-Shop Scheduling Problem with Reinforcement Learning☆15Nov 13, 2025Updated 11 months ago
- ☆38Jun 18, 2026Updated 4 months ago
- My survey of literature on compilers for AI models☆13Aug 9, 2021Updated 5 years ago
- ☆13Oct 11, 2024Updated 2 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ☆15Jul 25, 2024Updated 2 years ago
- Hop-Wise Graph Attention for Scalable and Generalizable Learning on Circuits☆35Aug 25, 2024Updated 2 years ago
- ☆13Jun 22, 2023Updated 3 years ago
- Learning A Continuous and Reconstructible Latent Space for Hardware Accelerator Design☆12Mar 20, 2023Updated 3 years ago
- 使用 CLI 进行中科院计算所上网认证登陆☆12Sep 23, 2025Updated last year
- CV codes from CIAM Group at SUSTech, Shenzhen, China☆11Aug 26, 2024Updated 2 years ago
- ☆113Jun 20, 2025Updated last year
- A collection of papers on awesome genome acceleration, e.g., architectures, systems, and algorithms.☆11Jun 9, 2026Updated 4 months ago
- Artificial Netlist Generator☆48Mar 19, 2024Updated 2 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- SFS: A Smart OS Scheduler for Serverless Function Workloads (SC'22)☆14Dec 15, 2022Updated 3 years ago
- ☆10Jan 17, 2024Updated 2 years ago
- 📸 ADCs for faster image sensors☆13Updated this week
- This is the Github Repo for the paper: MCP4EDA: LLM-Powered Model Context Protocol RTL-to-GDSII Automation with Backend Aware Synthesis O…☆112Jul 29, 2025Updated last year
- This place provide different SRAM cells netlist to be simulated with HSpice tool in sub-20nm FinFET technologies.☆12Dec 31, 2020Updated 5 years ago
- Code for SIGKDD2025 paper: An Efficient Diffusion-based Non-Autoregressive Solver for Traveling Salesman Problem☆16Jan 28, 2025Updated last year
- A lightweight python library for bandit algorithms☆29Jul 21, 2022Updated 4 years ago
- ☆10Apr 20, 2026Updated 6 months ago
- A formally-verified compiler IR☆10May 5, 2026Updated 6 months ago
- 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.
- 中国科学院大学2023-2024学年研究生课程资料☆10Jul 6, 2024Updated 2 years ago
- Understanding Physical Verification using open source tools such as Magic and Netgen☆12Oct 18, 2022Updated 4 years ago
- ☆19Oct 6, 2025Updated last year
- ☆14Oct 13, 2025Updated last year
- Safe high-level bindings for the Boolector SMT solver☆14Apr 5, 2022Updated 4 years ago
- E-Syn: E-Graph Rewriting with Technology-Aware Cost Functions for Logic Synthesis (DAC 2024)☆46Jul 17, 2024Updated 2 years ago
- Ghost-ALICE OS: agent governance for intent, scope, evidence, and runtime state☆16Updated this week