TorchQL / torchqlLinks
TorchQL is a query language for Python-based machine learning models and datasets.
☆11Updated last year
Alternatives and similar repositories for torchql
Users that are interested in torchql are comparing it to the libraries listed below
Sorting:
- A language for symbolic transitions system, inspired by Ivy.☆69Updated last year
- Clover: Closed-Loop Verifiable Code Generation☆35Updated 3 weeks ago
- ☆24Updated last month
- Appendix of "Principles of Abstract Interpretation", P. Cousot, MIT Press, 2021, containing the proofs and the solutions of exercises not…☆41Updated 4 years ago
- Benchmarks for SyGuS Competition (SyGuS-Comp)☆39Updated 2 years ago
- Cerberus C semantics☆62Updated this week
- Compositional Verification of Composite Byzantine Protocols☆12Updated 9 months ago
- ☆13Updated 5 months ago
- ☆34Updated last week
- An automated deductive program verifier based on concurrent separation logic☆17Updated last week
- A verifier for automated and interactive proofs about transition systems. This repository is a public mirror with stable development sna…☆99Updated last month
- LinearArbitrary-SeaHorn is a CHC solver for LLVM-based languages.☆21Updated 2 years ago
- ☆52Updated 6 months ago
- ☆17Updated 2 months ago
- Most influential papers in programming languages☆57Updated 4 months ago
- ☆26Updated last year
- [FSE-2024] Towards AI-Assisted Synthesis of Verified Dafny Methods☆47Updated last year
- Python bindings for the egg-smol rust library☆78Updated last week
- PL conference deadline countdowns☆60Updated 2 months ago
- A SyGuS Solver☆28Updated 3 weeks ago
- Python client for coq-lsp☆38Updated last month
- DIversity in VerificAtion☆7Updated last year
- AE-solver and Skolemizer☆17Updated 6 months ago
- Verimag Polyhedra Library☆18Updated 2 months ago
- Collection of Automated Reasoners☆29Updated last month
- Apron Numerical Abstract Domain Library☆126Updated 2 months ago
- Automatic theorem proving via natural language reasoning with LLMs☆16Updated 3 weeks ago
- TriCera: a model checker for C programs☆25Updated last week
- Tool for suggesting lemma names in Coq verification projects☆19Updated 2 years ago
- Generates loop invariants for program verification☆62Updated 4 years ago