jin-guo / COMP598_Fall2020Links
☆12Updated 4 years ago
Alternatives and similar repositories for COMP598_Fall2020
Users that are interested in COMP598_Fall2020 are comparing it to the libraries listed below
Sorting:
- ☆10Updated 5 years ago
- ☆10Updated 6 years ago
- An IntelliJ-based IDE plugin for Python AST transformations☆18Updated 2 years ago
- Artifact for paper "Chronosymbolic: Efficient CHC Solving with Symbolic Reasoning and Inductive Learning" in Python☆11Updated last year
- An IntelliJ IDEA plugin that allows to get suggestions for better method names☆10Updated 5 years ago
- Reasoning over weighted algebraic and logical constraints☆26Updated 2 weeks ago
- Difflog: Synthesizing Datalog Programs using Numerical Relaxation☆12Updated 6 years ago
- Lisa is a tool for (a). An LTLf to DFA conversion, and (b) An LTLf synthesis tool. Lisa supports both explicit and symbolic state-space r…☆12Updated 4 years ago
- General-purpose program synthesiser☆48Updated last year
- Euphony: a probabilistic model-guided program synthesizer☆27Updated 3 years ago
- Official repository for PraPR source code☆14Updated 4 years ago
- Set of PyTorch modules for developing and evaluating different algorithms for embedding trees.☆22Updated 3 years ago
- Tool for learning linear temporal logic formulas using combinatorial approach☆14Updated 10 months ago
- SRI Group Website☆10Updated this week
- The PERPL Compiler☆14Updated last month
- Probabilistic Type Inference using Graph Neural Networks☆51Updated 2 years ago
- Code for paper "Lancer: Your Code Tell Me What You Need"☆11Updated 3 years ago
- A benchmark for evaluating embeddings of identifiers in source code.☆22Updated 4 years ago
- 🎲 A Kotlin DSL for probabilistic programming.☆12Updated 3 years ago
- Graphs and grammars for Context-Free Path Querying algorithms evaluation.☆10Updated last year
- A redistributable subset of the ETH Py150 corpus [https://www.sri.inf.ethz.ch/py150], introduced in the ICML 2020 paper 'Learning and Eva…☆32Updated 5 years ago
- ☆16Updated last year
- ☆21Updated 3 years ago
- Benchmark Suite for Interpretable Rule Learning☆12Updated 5 years ago
- PLUR (Programming-Language Understanding and Repair) is a collection of source code datasets suitable for graph-based machine learning. W…☆87Updated 3 years ago
- Tool implementing Property Probes☆22Updated last week
- Code and dataset for the paper "IsarStep: a Benchmark for High-level Mathematical Reasoning"☆12Updated 4 years ago
- ICSE 2020 Artifact for: Learning from, Understanding, and Supporting DevOps Artifacts for Docker☆22Updated 2 years ago
- Implementation of the paper "Automatic Program Synthesis of Long Programs with a Learned Garbage Collector"☆49Updated 4 years ago
- ☆11Updated 10 months ago