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 / crome-synthesis
  ☆10Updated 2 years ago
• pierg / synthesis-web
  web interface for 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 4 months ago
• pacti-org / pacti
  A package for compositional system analysis and design
  ☆23Updated this week
• meelgroup / MLIC
  A new framework to generate interpretable classification rules
  ☆17Updated 2 years ago
• 12wang3 / mllp
  The code of AAAI 2020 paper "Transparent Classification with Multilayer Logical Perceptrons and Random Binarization".
  ☆24Updated last year
• davidireland3 / LeNSE
  ☆14Updated 2 years ago
• minecraft-saar / autoplanbench
  ☆14Updated 5 months ago
• AaltoPML / human-in-the-loop-predictive-maintenance
  ☆10Updated last year
• tomlinsonk / choice-set-opt
  Code accompanying our ICML 2020 paper on choice set optimization in group decision-making.
  ☆11Updated 4 years ago
• nathanael-fijalkow / DeepSynth
  General-purpose program synthesiser
  ☆45Updated 7 months ago
• ansonb / FeTA_TMLR
  This repository reproduces the results in the paper "How expressive are transformers in spectral domain for graphs?"(published in TMLR)
  ☆12Updated 2 years ago
• reactive-systems / deepltl
  Official implementation of Teaching Temporal Logics to Neural Networks (https://arxiv.org/abs/2003.04218)
  ☆30Updated 3 years ago
• whitemech / LTLf2DFA
  From LTLf / PPLTL to Deterministic Finite-state Automata (DFA)
  ☆71Updated last year
• neildhir / DCBO
  Dynamic causal Bayesian optimisation
  ☆38Updated 2 years ago
• PL-ML / metal
  Metal: Learning a Meta-Solver for Syntax-Guided Program Synthesis
  ☆15Updated 6 years ago
• ryanzhangfan / NeuroSAT
  PyTorch implementation of NeuroSAT
  ☆28Updated 2 years ago
• raminmh / ordinary-neural-circuits
  Code repo for paper: ICML 2020 paper Natural lottery ticket winner: RL for ordinary neural circuits
  ☆13Updated 5 years ago
• Thinklab-SJTU / NAR-CO-Solver
  Official implementation non-autoregressive combinatorial optimizaiton solvers, covering our ICLR 2023 paper and SCIENTIA SINICA Informati…
  ☆40Updated 8 months ago
• r3kall / FastCommunityDetection
  Finding community structure in very large networks, by Clauset-Newman-Moore
  ☆15Updated 7 years ago
• zecevic-matej / Not-All-Causal-Inference-is-the-Same
  Official code repository to the corresponding paper.
  ☆29Updated last year
• EthanJamesLew / koopmania
  a little library to help me with things involving Koopman operators
  ☆12Updated 3 years ago
• zhushy / causal-datasets
  Datasets for Causal-Structure-Learning Repo
  ☆15Updated 5 years ago
• daochenzha / autosmote
  [CIKM 2022] Towards Automated Over-Sampling for Imbalanced Classification
  ☆10Updated 2 years ago
• facebookresearch / mmd
  ML models often mispredict, and it is hard to tell when and why. We present a data mining based approach to discover whether there is a c…
  ☆18Updated 3 years ago
• UzmaHasan / KCRL
  Causal Discovery with Prior Knowledge
  ☆13Updated 2 years ago
• hkrsnd / dilp-st
  ☆10Updated 4 years ago