jin-guo / COMP598_Fall2020

Related projects: ⓘ

• jin-guo / COMP303_Winter2020
  ☆20Updated this week
• prmr / COMP303
  COMP303-Software Design at McGill University
  ☆83Updated this week
• bunelr / GandRL_for_NPS
  Leveraging Grammar and Reinforcement Learning for Neural Program Synthesis
  ☆37Updated last year
• prmr / DesignBook
  Companion repository for the book "Introduction to Software Design with Java"
  ☆123Updated this week
• reudismam / Refazer
  ☆10Updated 5 years ago
• SyGuS-Org / tools
  A set of basic tools for manipulating SyGuS benchmarks
  ☆22Updated last year
• jin-guo / COMP303
  ☆48Updated 5 months ago
• wslee / euphony
  Euphony: a probabilistic model-guided program synthesizer
  ☆25Updated last year
• druths / comp598-2021
  Resources for the 2021 offering of COMP 598
  ☆23Updated 2 years ago
• PL-ML / metal
  Metal: Learning a Meta-Solver for Syntax-Guided Program Synthesis
  ☆15Updated 5 years ago
• jjhenkel / code-vectors-artifact
  Artifacts and other data for "Code Vectors: Understanding Programs Through Embedded Abstraced Symbolic Traces"
  ☆22Updated 4 years ago
• JetBrains-Research / bumblebee
  An IntelliJ-based IDE plugin for Python AST transformations
  ☆18Updated last year
• SaminYeasar / pentago_twist
  ☆8Updated 2 years ago
• SERG-Delft / j2graph
  ☆10Updated 4 years ago
• vardigroup / lisa
  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 2 years ago
• microsoft / msrc-dpu-learning-to-represent-edits
  C# Data Extraction for "Learning to Represent Edits"
  ☆27Updated 5 years ago
• ivan-gavran / samples2LTL
  A tool for obtaining LTL formulas from a sample of positive and negative words.
  ☆20Updated 2 years ago
• dkamm / deepcoder
  Deepcoder paper implementation
  ☆112Updated last year
• difflog-project / datalog-bench
  Benchmark Suite for Interpretable Rule Learning
  ☆10Updated 4 years ago
• ali-ghanbari / prapr-sc
  Official repository for PraPR source code
  ☆14Updated 3 years ago
• JetBrains-Research / embeddings-for-trees
  Set of PyTorch modules for developing and evaluating different algorithms for embedding trees.
  ☆22Updated 2 years ago
• kensens / FrAngel
  A Java program synthesizer.
  ☆21Updated 5 years ago
• rajarshi008 / Scarlet
  Tool for learning linear temporal logic formulas using combinatorial approach
  ☆14Updated 8 months ago
• SyGuS-Org / benchmarks
  Benchmarks for SyGuS Competition (SyGuS-Comp)
  ☆34Updated last year
• shrivastavadisha / N-PEPS
  ☆18Updated 2 years ago
• 921kiyo / symbolic-rl
  Symbolic Reinforcement Learning using Inductive Logic Programming
  ☆61Updated last year
• QuMuLab / python-nnf
  Manipulate NNF (Negation Normal Form) logical sentences
  ☆17Updated last year
• mtensor / rulesynthesis
  Code for "Learning Compositional Rules via Neural Program Synthesis"
  ☆58Updated 3 years ago
• dselsam / neurocore-public
  NeuroCore: Guiding CDCL with Unsat-Core Predictions
  ☆39Updated 4 years ago
• GaloisInc / LinearArbitrary-SeaHorn
  LinearArbitrary-SeaHorn is a CHC solver for LLVM-based languages.
  ☆20Updated last year