Alternatives and similar repositories for crome-cgg:

Users that are interested in crome-cgg are comparing it to the libraries listed below

• pierg / crome-web
  ☆10Updated 2 years ago
• pierg / synthesis-web
  web interface for crome-synthesis
  ☆10Updated 2 years ago
• pierg / crome-synthesis
  ☆10Updated 2 years ago
• pierg / crome-logic
  ☆10Updated 2 years ago
• pierg / crome-contracts
  Contracts operations tools, based on LTL
  ☆10Updated 2 years ago
• rajarshi008 / Scarlet
  Tool for learning linear temporal logic formulas using combinatorial approach
  ☆14Updated 3 months ago
• neildhir / DCBO
  Dynamic causal Bayesian optimisation
  ☆36Updated 2 years ago
• PL-ML / metal
  Metal: Learning a Meta-Solver for Syntax-Guided Program Synthesis
  ☆15Updated 6 years ago
• formularin / cygraph
  A fast and flexible graph theory library.
  ☆8Updated 4 years ago
• EleMisi / VAEL
  Codebase for VAEL: Bridging Variational Autoencoders and Probabilistic Logic Programming
  ☆20Updated last year
• zecevic-matej / Not-All-Causal-Inference-is-the-Same
  Official code repository to the corresponding paper.
  ☆29Updated last year
• meelgroup / MLIC
  A new framework to generate interpretable classification rules
  ☆17Updated 2 years ago
• google-deepmind / hcmd_dai
  ☆24Updated 2 years ago
• crunchiness / lernd
  Lernd is ∂ILP (dILP) framework implementation based on Deepmind's paper Learning Explanatory Rules from Noisy Data.
  ☆24Updated 2 years ago
• IBM / vsrl-framework
  The Verifiably Safe Reinforcement Learning Framework
  ☆56Updated 3 years ago
• MachSMT / MachSMT
  MachSMT: An ML-Driven Algorithm Selection tool for SMT Solvers
  ☆23Updated 2 years ago
• asalavaty / python-influential
  Identification and Classification of the Most Influential Nodes
  ☆11Updated last year
• pacti-org / pacti
  A package for compositional system analysis and design
  ☆21Updated last week
• yongchao98 / NL2TL
  Framework to transform natural language into formal language (Temporal Logics).
  ☆27Updated last year
• ArnoVel / structure-identification
  Uses several statistical tests / algorithms on marginal / conditional distributions
  ☆8Updated last year
• eth-sri / proof-sharing
  CAV'22 paper to speed up Neural Network Verification.
  ☆14Updated 2 years ago
• minecraft-saar / autoplanbench
  ☆11Updated 3 months ago
• itu-bdsa / lecture_notes
  ls for the BSc course "Analysis, Design, and Software Architecture" at IT University of Copenhagen
  ☆30Updated 4 months ago
• tgebhart / sheaf_kg
  ☆10Updated 2 years ago
• dselsam / neurocore-public
  NeuroCore: Guiding CDCL with Unsat-Core Predictions
  ☆45Updated 5 years ago
• jaromiru / sr-drl
  Implementation of Symbolic Relational Deep Reinforcement Learning based on Graph Neural Networks
  ☆25Updated last year
• ChuyueSun / Clover
  Clover: Closed-Loop Verifiable Code Generation
  ☆35Updated 10 months ago
• IBM / nl2ltl
  Natural Language (NL) to Linear Temporal Logic (LTL)
  ☆73Updated 7 months ago
• emreyolcu / sat
  Learning local search heuristics for Boolean satisfiability
  ☆37Updated 11 months ago
• dselsam / lean-gym
  ☆12Updated 2 years ago