manishshettym / tart
tart: tensor abstracted relations and topologies
☆11Updated 2 months ago
Related projects: ⓘ
- Towards AI-Assisted Synthesis of Verified Dafny Methods☆30Updated 3 months ago
- SMT-LIB benchmarks for shape computations from deep learning models in PyTorch☆16Updated last year
- An curated list of papers on program synthesis.☆67Updated 5 years ago
- An experimental framework for temporal verification based on first-order linear-time temporal logic. Our goal is to express transition sy…☆13Updated this week
- Benchmarks for SyGuS Competition (SyGuS-Comp)☆34Updated last year
- LinearArbitrary-SeaHorn is a CHC solver for LLVM-based languages.☆20Updated last year
- ☆32Updated 5 months ago
- SMTSampler: Efficient Stimulus Generation from Complex SMT Constraints☆24Updated 5 years ago
- ☆13Updated 2 years ago
- Heavyweight Python dynamic analysis framework☆12Updated 5 months ago
- A language for symbolic transitions system, inspired by Ivy.☆64Updated 5 months ago
- ☆21Updated 3 months ago
- A program synthesis framework for verified lifting applications☆39Updated 2 months ago
- Source code for GpuShareSat, a library for SAT solvers to use the GPU for clause sharing between CPU threads.☆31Updated 3 years ago
- Equivalent and redundant mutant detection with e-graphs!!!☆13Updated last year
- MachSMT: An ML-Driven Algorithm Selection tool for SMT Solvers☆18Updated last year
- library learning w egraphs☆17Updated last year
- IC3PO: IC3 for Proving Protocol Properties☆25Updated last week
- Github repo backing website for the CS Assistant Professor Handbook☆26Updated 3 weeks ago
- ☆13Updated 3 years ago
- A SyGuS Solver☆22Updated last month
- egraph on top of sqlite☆12Updated 2 years ago
- A tool for testing SMT solvers for incompleteness bugs☆15Updated last year
- The code base for the I4 prototype, as described in the SOSP '19 paper "I4: Incremental Inference of Inductive Invariants for Verificatio…☆26Updated 3 years ago
- A graduate seminar on SMT solving and solver-aided systems☆26Updated 2 years ago
- Program Synthesis☆13Updated 3 years ago
- outline and links for PLDI 2022 tutorial☆17Updated 2 years ago
- Grammar prioritization support for EUSolver.☆12Updated 5 years ago
- Clover: Closed-Loop Verifiable Code Generation☆23Updated 3 months ago
- Code2Inv: Learning Loop Invariants for Program Verification☆82Updated 3 years ago