PL-ML / metal
Metal: Learning a Meta-Solver for Syntax-Guided Program Synthesis
☆15Updated 5 years ago
Related projects ⓘ
Alternatives and complementary repositories for metal
- NeuroCore: Guiding CDCL with Unsat-Core Predictions☆43Updated 4 years ago
- MachSMT: An ML-Driven Algorithm Selection tool for SMT Solvers☆20Updated last year
- Code2Inv: Learning Loop Invariants for Program Verification☆85Updated 3 years ago
- Open source release from our ICLR 2020 paper, CLN2INV: Learning Loop Invariants with Continuous Logic Networks.☆21Updated 4 years ago
- A fast and certifying solver for quantified Boolean formulas.☆26Updated 6 months ago
- Leveraging Grammar and Reinforcement Learning for Neural Program Synthesis☆37Updated last year
- ☆11Updated 3 years ago
- LinearArbitrary-SeaHorn is a CHC solver for LLVM-based languages.☆21Updated last year
- Code for the NeurIPS 2020 paper Efficient Exact Verification of Binarized Neural Networks☆13Updated 2 years ago
- ☆18Updated 2 years ago
- Learning local search heuristics for Boolean satisfiability☆37Updated 6 months ago
- Benchmarks for SyGuS Competition (SyGuS-Comp)☆34Updated last year
- Code related to "Learning Continuous Semantic Representations of Symbolic Expressions" project.☆36Updated 7 years ago
- Euphony: a probabilistic model-guided program synthesizer☆25Updated 2 years ago
- PyTorch implementation of NeuroSAT☆26Updated last year
- Learning to Solve SMT Formulas Fast☆85Updated 5 months ago
- A set of basic tools for manipulating SyGuS benchmarks☆22Updated last year
- ☆43Updated last year
- The Charon tool for analyzing neural network robustness☆13Updated 4 years ago
- Source code for GpuShareSat, a library for SAT solvers to use the GPU for clause sharing between CPU threads.☆32Updated 3 years ago
- Sherlock is a tool for output range anaylsis of Deep Neural Networks with ReLU activation units.☆27Updated 4 years ago
- DL2 is a framework that allows training neural networks with logical constraints over numerical values in the network (e.g. inputs, out…☆83Updated 3 months ago
- A Python API for the MiniSat and MiniCard constraint solvers.☆19Updated last year
- ☆15Updated last year
- NLocalSAT; Boosting Local Search with Solution Prediction☆18Updated last year
- A public repository for "Write, Execute, Assess: Program Synthesis With a REPL" project by Kevin Ellis, Max Nye, Yewen Pu, Felix Sosa, Jo…☆36Updated 4 years ago
- ☆40Updated 5 years ago
- ComPy-Learn is a framework for exploring program representations for ML4CODE tasks.☆22Updated last year
- Deepcoder paper implementation☆113Updated last year
- A model checker based on SAT solving and induction☆13Updated 9 years ago