YiwenAI / AutoSATLinks
☆23Updated 11 months ago
Alternatives and similar repositories for AutoSAT
Users that are interested in AutoSAT are comparing it to the libraries listed below
Sorting:
- Code for Learning to Synthesize Programs as Interpretable and Generalizable Policies in NeurIPS 2021☆39Updated 2 months ago
- [TMLR 2024] G4SATBench: Benchmarking and Advancing SAT Solving with Graph Neural Networks☆37Updated last year
- Machine Learning for Mathematics and Logics☆16Updated 7 months ago
- 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".☆19Updated 3 months ago
- [NeurIPS 2022] "NSNet: A General Neural Probabilistic Framework for Satisfiability Problems"☆19Updated 2 years ago
- The release for ICML 2023 paper☆47Updated last year
- A Simple CDCL Solver☆35Updated 2 years ago
- Using GNN and DQN to find a baetter branching heuristic for a CDCL Solver☆52Updated 5 years ago
- Implementations of DeepPlace, PRNet, HubRouter, PreRoutGNN, FlexPlanner and DSBRouter.☆280Updated last month
- Simple Python interface for ABC☆25Updated 2 years ago
- py-aiger: A python library for manipulating sequential and combinatorial circuits encoded using `and` & `inverter` gates (AIGs).☆49Updated 10 months ago
- ☆24Updated 3 years ago
- ☆66Updated 2 years ago
- ☆28Updated 5 months ago
- MLCAD 2020: Reinforcement for logic optimization sequence exploration☆28Updated 5 years ago
- DeepSynth: Automata Synthesis for Automatic Task Segmentation in Deep Reinforcement Learning☆24Updated 4 years ago
- AlphaVerus: Formally Verified Code Generation through Self-Improving Translation and Treefinement☆20Updated 6 months ago
- NLocalSAT; Boosting Local Search with Solution Prediction☆18Updated 2 years ago
- DeepIC3: Guiding IC3 Algorithms by Graph Neural Network Clause Prediction (ASP-DAC 2024)☆11Updated 2 years ago
- [COLM 2024] A Survey on Deep Learning for Theorem Proving☆207Updated 5 months ago
- ☆21Updated 9 months ago
- Learning Formal Mathematics from Intrinsic Motivation☆36Updated 4 months ago
- Parallel Monte Carlo Tree Search, see README.md for more detailed usage and information.☆50Updated 4 years ago
- This is the code for our paper "Reinforcement Learning within Tree Search for Fast Macro Placement".☆32Updated last year
- ☆25Updated 3 years ago
- Awesome Artificial Intelligence for Electronic Design Automation Papers.☆187Updated last year
- Leveraging Grammar and Reinforcement Learning for Neural Program Synthesis☆38Updated 2 years ago
- ☆15Updated last year