sgomber / CDCL-SATLinks
A SAT Solver based on CDCL (Conflict Driven Clause Learning) implemented in python
☆22Updated 5 years ago
Alternatives and similar repositories for CDCL-SAT
Users that are interested in CDCL-SAT are comparing it to the libraries listed below
Sorting:
- [TMLR 2024] G4SATBench: Benchmarking and Advancing SAT Solving with Graph Neural Networks☆38Updated last year
- PyTorch implementation of NeuroSAT☆28Updated 2 years ago
- Collection of resources for research concerning Machine Learning and Formal Methods.☆96Updated 4 years ago
- White-box Fairness Testing through Adversarial Sampling☆13Updated 4 years ago
- Source code, datasets and models of the paper "Efficient White-box Fairness Testing through Gradient Search" by Lingfeng Zhang, Yueling Z…☆11Updated 4 years ago
- 🔮Reasoning for Safer Code Generation; 🥇Winner Solution of Amazon Nova AI Challenge 2025☆35Updated 5 months ago
- Artifact repository for the paper "AlphaTrans: A Neuro-Symbolic Compositional Approach for Repository-Level Code Translation and Validati…☆32Updated last month
- [ICSE 2023] Differentiable interpretation and failure-inducing input generation for neural network numerical bugs.☆13Updated 2 years ago
- DafnyBench: A Benchmark for Formal Software Verification☆58Updated last year
- Code2Inv: Learning Loop Invariants for Program Verification☆103Updated 5 years ago
- ☆57Updated last year
- ☆48Updated 3 years ago
- Pip compatible CodeBLEU metric implementation available for linux/macos/win☆129Updated 10 months ago
- RepairLLaMA: Efficient Representations and Fine-Tuned Adapters for Program Repair http://arxiv.org/pdf/2312.15698☆39Updated 5 months ago
- AlphaVerus: Formally Verified Code Generation through Self-Improving Translation and Treefinement☆24Updated 8 months ago
- homepage for proFL☆23Updated 4 years ago
- CodeGuard+: Constrained Decoding for Secure Code Generation☆19Updated last year
- Interview questions for Computer Science faculty jobs☆43Updated last year
- Open source release from our ICLR 2020 paper, CLN2INV: Learning Loop Invariants with Continuous Logic Networks.☆21Updated 5 years ago
- Book reading☆16Updated 5 years ago
- A collection of publications that works on code models but beyond focusing on the accuracies.☆13Updated 2 years ago
- Machine Learning & Security Seminar @Purdue University☆25Updated 2 years ago
- ☆61Updated 2 years ago
- Clover: Closed-Loop Verifiable Code Generation☆42Updated 8 months ago
- Bit-bLAsting solving Non-linear integer constraints.☆22Updated 7 months ago
- Training language models to make programs faster☆98Updated last year
- SatLM: SATisfiability-Aided Language Models using Declarative Prompting (NeurIPS 2023)☆53Updated last year
- Artefacts for evaluating user-intent-formalization (translating natural language intent to formal specifications) in different languages☆18Updated 11 months ago
- A Simple CDCL Solver☆35Updated 2 years ago
- Artifact repository for the paper "Lost in Translation: A Study of Bugs Introduced by Large Language Models while Translating Code", In P…☆51Updated 9 months ago