Official code for "Learning to compute Gröbner bases" (NeurIPS 2024)
☆10Nov 18, 2024Updated last year
Alternatives and similar repositories for transformer-groebner
Users that are interested in transformer-groebner are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Random Generator of Btor2 Files☆10Sep 2, 2023Updated 3 years ago
- ☆10Sep 29, 2024Updated 2 years ago
- Collection of utlities for writing parsers. Includes a fast DIMACS CNF parser.☆15Nov 19, 2024Updated last year
- EvolveGen: Algorithmic Level Hardware Model Checking Benchmark Generation through Reinforcement Learning (TACAS 2026)☆10Oct 9, 2025Updated last year
- 简单的线性回归模型预测房价☆12Apr 8, 2024Updated 2 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.
- Control Logic Synthesis: Drawing the Rest of the OWL☆13Jun 17, 2024Updated 2 years ago
- FastPoly: An Efficient Polynomial Package for the Verification of Integer Arithmetic Circuits☆14Aug 5, 2025Updated last year
- Equivalence Verification Checking for Code Transformation via Equality Saturation☆13Jun 1, 2026Updated 5 months ago
- Zhuofan Lin and Shiju Lin, "GPU-Accelerated Efficient Transduction for Logic Optimization", Design, Automation & Test in Europe Conferenc…☆14Sep 19, 2026Updated last month
- ☆16Jul 3, 2023Updated 3 years ago
- ☆12Updated this week
- UCSD Standard Cell Synthesis: FinFET and CFET technologies with DTCO features☆18Aug 8, 2026Updated 3 months ago
- Applications of reinforcement learning to Groebner basis computation.☆15Jun 13, 2021Updated 5 years ago
- [ICCAD'26] Forbench: Symbolic Simulation Helps Make Your Testbench More Formal☆15Updated this week
- 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.
- ☆10Jun 17, 2025Updated last year
- ☆21Nov 2, 2026Updated last week
- Code to reproduce the experiments of the ICLR24-paper: "Sparse Model Soups: A Recipe for Improved Pruning via Model Averaging"☆12Oct 14, 2025Updated last year
- ☆19Dec 21, 2020Updated 5 years ago
- Cell layout generation (MH Multiheight) for DTCO/STCO exploration toolkit.☆16Oct 6, 2025Updated last year
- BTOR2 MLIR project☆26Jan 17, 2024Updated 2 years ago
- Code for ICLR 26 paper: "Rethinking Code Similarity for Automated Algorithm Design with LLMs"☆15Jun 20, 2026Updated 4 months ago
- Yosys RTLIL dialect for MLIR☆25Jun 12, 2025Updated last year
- APS: An open-source toolchain towards agile processor specialization based on MLIR☆24Updated this week
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- ☆17Jan 14, 2025Updated last year
- A retargetable and extensible synthesis-based compiler for modern hardware architectures☆22Nov 20, 2025Updated 11 months ago
- Refreshing automation for inductive equational proofs using e-graphs☆28Jul 7, 2024Updated 2 years ago
- Cyclic theorem prover for equalitional reasoning using egraphs☆27Oct 24, 2023Updated 3 years ago
- AutoOPT related skills and code☆17Aug 28, 2026Updated 2 months ago
- Differentiable Combinatorial Scheduling at Scale (ICML'24). Mingju Liu, Yingjie Li, Jiaqi Yin, Zhiru Zhang, Cunxi Yu.☆25Oct 31, 2024Updated 2 years ago
- 2022年芒果TV第三届“马栏山杯”国际音视频算法大赛节目播放量预测第9名☆11Jun 17, 2022Updated 4 years ago
- ☆10Apr 26, 2023Updated 3 years ago
- AutoCellLibX: Automated Standard Cell Library Extension Based on Pattern Mining☆21Updated this week
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- AI-Assisted Verification of Data Structures☆26May 27, 2026Updated 5 months ago
- Code accompanying NeurIPS '23 accepted paper "SALSA VERDE a machine learning attack on Learning with Errors with sparse small secrets"☆21Nov 29, 2023Updated 2 years ago
- Boosted E-Graph Extraction with Adaptive Heuristics and Exact Solving☆30Jan 7, 2026Updated 10 months ago
- Integer Multiplier Generator for Verilog☆27Jul 4, 2025Updated last year
- [NeurIPS 2026] Veri-Sure: Multi-Agent RTL Code Generation with Temporal Tracing, Slicing and Formal Verification☆30Oct 26, 2026Updated 2 weeks ago
- Exact Symbolic Reasoning via Boolean Equality Saturation☆25Jan 7, 2026Updated 10 months ago
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆72Jul 1, 2024Updated 2 years ago
Are these results useful?