YiwenAI / AutoSATLinks
☆22Updated 10 months ago
Alternatives and similar repositories for AutoSAT
Users that are interested in AutoSAT are comparing it to the libraries listed below
Sorting:
- [NeurIPS 2022] "NSNet: A General Neural Probabilistic Framework for Satisfiability Problems"☆19Updated 2 years ago
- [TMLR 2024] G4SATBench: Benchmarking and Advancing SAT Solving with Graph Neural Networks☆36Updated last year
- Code for Learning to Synthesize Programs as Interpretable and Generalizable Policies in NeurIPS 2021☆39Updated last month
- PyTorch implementation of NeuroSAT☆28Updated 2 years ago
- Official implementation of NeurIPS'23 paper "Macro Placement by Wire-Mask-Guided Black-Box Optimization"☆27Updated 5 months ago
- Official implementation of NeurIPS'24 paper "Reinforcement Learning Policy as Macro Regulator Rather than Macro Placer".☆18Updated 2 months ago
- The release for ICML 2023 paper☆48Updated last year
- Simple Python interface for ABC☆25Updated 2 years ago
- DeepIC3: Guiding IC3 Algorithms by Graph Neural Network Clause Prediction (ASP-DAC 2024)☆11Updated last year
- py-aiger: A python library for manipulating sequential and combinatorial circuits encoded using `and` & `inverter` gates (AIGs).☆48Updated 10 months ago
- ☆36Updated 2 months ago
- [COLM 2024] A Survey on Deep Learning for Theorem Proving☆207Updated 5 months ago
- Machine Learning for Mathematics and Logics☆15Updated 6 months ago
- ☆24Updated 3 years ago
- This is the code for our paper "Reinforcement Learning within Tree Search for Fast Macro Placement".☆33Updated 11 months ago
- Code of NeurIPS paper: arxiv.org/abs/2302.08224☆224Updated last year
- ☆15Updated last year
- Implementations of DeepPlace, PRNet, HubRouter, PreRoutGNN, FlexPlanner and DSBRouter.☆278Updated 2 weeks ago
- Awesome Artificial Intelligence for Electronic Design Automation Papers.☆186Updated last year
- Using GNN and DQN to find a baetter branching heuristic for a CDCL Solver☆52Updated 5 years ago
- Code for the paper LEGO-Prover: Neural Theorem Proving with Growing Libraries☆68Updated last year
- A Simple CDCL Solver☆33Updated 2 years ago
- [NeurIPS 2024] ReEvo: Large Language Models as Hyper-Heuristics with Reflective Evolution☆215Updated 5 months ago
- NLocalSAT; Boosting Local Search with Solution Prediction☆18Updated 2 years ago
- ☆66Updated 2 years ago
- ☆70Updated 2 years ago
- ☆19Updated 8 months ago
- AlphaVerus: Formally Verified Code Generation through Self-Improving Translation and Treefinement☆19Updated 5 months ago
- ☆15Updated last year
- A client for Isabelle server (https://isabelle.in.tum.de)☆12Updated 2 weeks ago