Alternatives and similar repositories for weighted_lstar

Users that are interested in weighted_lstar are comparing it to the libraries listed below

• tech-srl / lstar_extraction
  implementation of ICML 2018 paper, Extracting Automata from Recurrent Neural Networks Using Queries and Counterexamples
  ☆76Updated 5 years ago
• reactive-systems / deepltl
  Official implementation of Teaching Temporal Logics to Neural Networks (https://arxiv.org/abs/2003.04218)
  ☆31Updated 3 years ago
• 95616ARG / SyReNN
  SyReNN: Symbolic Representations for Neural Networks
  ☆41Updated 2 years ago
• satwik77 / Transformer-Formal-Languages
  EMNLP 2020: On the Ability and Limitations of Transformers to Recognize Formal Languages
  ☆24Updated 5 years ago
• eth-sri / dl2
  DL2 is a framework that allows training neural networks with logical constraints over numerical values in the network (e.g. inputs, out…
  ☆87Updated last year
• dselsam / neurocore-public
  NeuroCore: Guiding CDCL with Unsat-Core Predictions
  ☆46Updated 5 years ago
• ML-KULeuven / PySDD
  Python package for Sentential Decision Diagrams (SDD)
  ☆67Updated this week
• jbr-ai-labs / bbo-challenge-jetbrains-research
  Code for Solving Black-Box Optimization Challenge via Learning Search Space Partition for Local Bayesian Optimization.
  ☆21Updated 4 years ago
• crunchiness / lernd
  Lernd is ∂ILP (dILP) framework implementation based on Deepmind's paper Learning Explanatory Rules from Noisy Data.
  ☆26Updated 2 years ago
• ForoughA / neuralMath
  Combining Symbolic and Function Evaluation Expressions In Neural Programs
  ☆34Updated 5 years ago
• LC-John / RNN2DFA
  Extracting minimal DFA's from well-trained RNN's
  ☆11Updated 6 years ago
• jia-kai / eevbnn
  Code for the NeurIPS 2020 paper Efficient Exact Verification of Binarized Neural Networks
  ☆13Updated 3 years ago
• ermongroup / SPN_Variational_Inference
  PyTorch implementation for "Probabilistic Circuits for Variational Inference in Discrete Graphical Models", NeurIPS 2020
  ☆17Updated 4 years ago
• LUMII-Syslab / QuerySAT
  Official repository for paper "Goal-Aware Neural SAT Solver"
  ☆17Updated 2 years ago
• hkrsnd / dilp-st
  ☆10Updated 4 years ago
• 12wang3 / mllp
  The code of AAAI 2020 paper "Transparent Classification with Multilayer Logical Perceptrons and Random Binarization".
  ☆24Updated last year
• pronobis / libspn-keras
  Library for learning and inference with Sum-product Networks utilizing TensorFlow 2.x and Keras
  ☆48Updated 2 months ago
• minhtannguyen / MomentumRNN
  Code base for MomentumRNN.
  ☆20Updated 5 years ago
• astirn / MV-Kumaraswamy
  ☆13Updated 2 years ago
• mtensor / rulesynthesis
  Code for "Learning Compositional Rules via Neural Program Synthesis"
  ☆60Updated 4 years ago
• TrustAI / Literature-on-DNN-Verification-and-Testing
  ☆47Updated 7 years ago
• PL-ML / metal
  Metal: Learning a Meta-Solver for Syntax-Guided Program Synthesis
  ☆15Updated 6 years ago
• AkhilanB / CNN-Cert
  ☆22Updated 4 years ago
• Kapilhk / SatPie
  SAT solver based on CDCL in Python with Conflict Driven Clause Learning, clever Heuristics - VSIDS, 2 - Literal watch advanced data struc…
  ☆21Updated 5 years ago
• art-ai / pypsdd
  The Python PSDD Package
  ☆19Updated 3 months ago
• wouterkool / ancestral-gumbel-top-k-sampling
  Ancestral Gumbel-Top-k Sampling
  ☆25Updated 5 years ago
• taucompling / mdlrnn
  Minimum Description Length Recurrent Neural Networks
  ☆18Updated 2 years ago
• choidami / sst
  ☆50Updated 5 years ago
• epignatelli / discovering-reinforcement-learning-algorithms
  A Jax/Stax implementation of the general meta learning paper: Oh, J., Hessel, M., Czarnecki, W.M., Xu, Z., van Hasselt, H.P., Singh, S. a…
  ☆22Updated 4 years ago
• csinva / disentangled-attribution-curves
  Using / reproducing DAC from the paper "Disentangled Attribution Curves for Interpreting Random Forests and Boosted Trees"
  ☆28Updated 4 years ago