shi27feng / transformers.satisfy

Related projects ⓘ

Alternatives and complementary repositories for transformers.satisfy

• LUMII-Syslab / QuerySAT
  Official repository for paper "Goal-Aware Neural SAT Solver"
  ☆15Updated last year
• NVIDIA / GraphQSat
  Using GNN and DQN to find a baetter branching heuristic for a CDCL Solver
  ☆52Updated 4 years ago
• microsoft / PDP-Solver
  PDP: A General Neural Framework for Learning Constraint Satisfaction Solvers
  ☆40Updated last year
• zehao-dong / PACE
  ☆16Updated 10 months ago
• emreyolcu / sat
  Learning local search heuristics for Boolean satisfiability
  ☆37Updated 6 months ago
• ML-CAD / AppGNN
  Approximation-Aware Functional Reverse Engineering using Graph Neural Networks
  ☆9Updated 2 years ago
• NVlabs / iccad2020-GPUgatesim
  ☆12Updated 4 years ago
• JiaxuanYou / G2SAT
  G2SAT: Learning to Generate SAT Formulas
  ☆48Updated 4 years ago
• johannaSommer / generalization-neural-co-solvers
  Official Repository for the ICLR 2022 paper "Generalization of Neural Combinatorial Solvers through the Lens of Adversarial Robustness"
  ☆14Updated 2 years ago
• iwls2020-lsml-contest / iwls2020-lsml-contest
  ☆21Updated 2 years ago
• ryanzhangfan / NeuroSAT
  PyTorch implementation of NeuroSAT
  ☆26Updated last year
• RUNCSP / RUN-CSP
  ☆10Updated last year
• lydiawunan / LOSTIN
  LOSTIN: Logic Optimization via Spatio-Temporal Information with Hybrid Graph Models
  ☆19Updated 2 years ago
• jia-kai / eevbnn
  Code for the NeurIPS 2020 paper Efficient Exact Verification of Binarized Neural Networks
  ☆13Updated 2 years ago
• thtran97 / Local-Search-for-SAT
  Implementation of local search-based algorithms for solving SAT and Max-SAT in Python
  ☆12Updated 3 years ago
• zehao-dong / CktGNN
  Open Circuit Benchmark OCB and source code for CktGNN (https://openreview.net/forum?id=NE2911Kq1sp).
  ☆45Updated last year
• cure-lab / DeepGate2
  ☆14Updated last year
• GATECH-EIC / LLM4HWDesign_Starting_Toolkit
  LLM4HWDesign Starting Toolkit
  ☆17Updated last month
• kouroshHakha / circuit-fewshot-code
  ☆11Updated last year
• z11i / pysat
  Simple SAT solver with CDCL implemented in Python
  ☆15Updated last year
• shihui2010 / symbolic_simplifier
  PyTorch implementation for the Deep Symbolic Simplification Without Human Knowledge
  ☆14Updated 3 years ago
• yuzeng2333 / autoGenILA
  Automatic generation of architecture-level models for hardware from its RTL design.
  ☆12Updated last year
• alanminko / iwls2023-ls-contest
  Problems and Results of IWLS 2023 Programming Contest
  ☆14Updated last year
• NVlabs / RTLFixer
  Fix syntax errors of LLM-generated RTL
  ☆16Updated 5 months ago
• facebookresearch / LA-MCTS
  High dimensional black-box optimizer using Latent Action Monte Carlo Tree Search algorithm
  ☆25Updated 2 years ago
• JKomp / AIGER
  Python version of tools to work with AIG formatted files
  ☆10Updated 6 months ago
• jkuck / BPNN
  ☆22Updated 3 years ago
• facebookresearch / AutoCAT
  AutoCAT: Reinforcement Learning for Automated Exploration of Cache-Timing Attacks
  ☆43Updated last year
• Chenghao-Yang / awesome-ml4ls
  Awesome machine learning for logic synthesis
  ☆24Updated 2 years ago
• ycunxi / FLowGen-CNNs-DAC18
  ☆15Updated 6 years ago