jesse-michael-han / neuro-cadical
CaDiCaL + neural glue variable predictions
☆10Updated 4 years ago
Alternatives and similar repositories for neuro-cadical:
Users that are interested in neuro-cadical are comparing it to the libraries listed below
- NeuroCore: Guiding CDCL with Unsat-Core Predictions☆45Updated 5 years ago
- Learning local search heuristics for Boolean satisfiability☆37Updated 11 months ago
- G2SAT: Learning to Generate SAT Formulas☆50Updated 4 years ago
- PyTorch implementation of NeuroSAT☆28Updated last year
- Code for the NeurIPS 2020 paper Efficient Exact Verification of Binarized Neural Networks☆13Updated 2 years ago
- A lightweight framework for the efficient parsing and manipulation of PDDL in lifted form.☆16Updated 9 months ago
- Official repository for paper "Goal-Aware Neural SAT Solver"☆15Updated last year
- Experimentation framework for Popper☆22Updated 11 months ago
- A continuous local search SAT solver based on Fourier expansion for hybrid Boolean constraints.☆12Updated 7 months ago
- [TMLR 2024] G4SATBench: Benchmarking and Advancing SAT Solving with Graph Neural Networks☆34Updated 11 months ago
- Official code for paper: INT: An Inequality Benchmark for Evaluating Generalization in Theorem Proving☆39Updated 2 years ago
- Python package for Sentential Decision Diagrams (SDD)☆56Updated 2 months ago
- Manipulate NNF (Negation Normal Form) logical sentences☆17Updated 2 years ago
- MachSMT: An ML-Driven Algorithm Selection tool for SMT Solvers☆23Updated 2 years ago
- nl2spec: Interactively Translating Unstructured Natural Language to Temporal Logics with Large Language Models☆38Updated last year
- a collection of Gymnasium environments for saturation provers☆20Updated 3 weeks ago
- A python framework for Optimal Planning Modulo Theories☆11Updated last year
- Using GNN and DQN to find a baetter branching heuristic for a CDCL Solver☆52Updated 4 years ago
- Adaptive Subgoal Search☆19Updated 2 years ago
- A Python API for the MiniSat and MiniCard constraint solvers.☆20Updated last year
- Clover: Closed-Loop Verifiable Code Generation☆35Updated 10 months ago
- deep learning for math☆29Updated 5 years ago
- ☆16Updated last year
- ☆15Updated last year
- ☆12Updated 2 years ago
- A model-based API Fuzzer for SMT Solvers.☆14Updated 2 weeks ago
- An curated list of papers on program synthesis.☆69Updated 5 years ago
- CAV'22 paper to speed up Neural Network Verification.☆14Updated 2 years ago
- [NeurIPS 2022] "NSNet: A General Neural Probabilistic Framework for Satisfiability Problems"☆18Updated 2 years ago
- Reachability Analysis Tool of Neural Network Controlled Systems (NNCSs)☆17Updated 2 years ago