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
• satwik77 / Transformer-Formal-Languages
  EMNLP 2020: On the Ability and Limitations of Transformers to Recognize Formal Languages
  ☆24Updated 4 years ago
• reactive-systems / deepltl
  Official implementation of Teaching Temporal Logics to Neural Networks (https://arxiv.org/abs/2003.04218)
  ☆30Updated 3 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
• ML-KULeuven / PySDD
  Python package for Sentential Decision Diagrams (SDD)
  ☆65Updated 6 months ago
• ForoughA / recursiveMemNet
  Tree Stack Memory Units
  ☆17Updated 5 years ago
• hkrsnd / dilp-st
  ☆10Updated 4 years ago
• 95616ARG / SyReNN
  SyReNN: Symbolic Representations for Neural Networks
  ☆41Updated 2 years ago
• geyang / plan2vec
  Public Release of Plan2vec Implementation in pyTorch
  ☆57Updated 2 years ago
• pietrobarbiero / logic_explained_networks
  Logic Explained Networks is a python repository implementing explainable-by-design deep learning models.
  ☆51Updated 2 years ago
• choidami / sst
  ☆50Updated 4 years ago
• 921kiyo / symbolic-rl
  Symbolic Reinforcement Learning using Inductive Logic Programming
  ☆62Updated 2 years ago
• mtensor / rulesynthesis
  Code for "Learning Compositional Rules via Neural Program Synthesis"
  ☆60Updated 4 years ago
• wouterkool / ancestral-gumbel-top-k-sampling
  Ancestral Gumbel-Top-k Sampling
  ☆25Updated 5 years ago
• ForoughA / neuralMath
  Combining Symbolic and Function Evaluation Expressions In Neural Programs
  ☆35Updated 5 years ago
• cheuktingli / psitip
  Python Symbolic Information Theoretic Inequality Prover
  ☆43Updated 2 months 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
• ducminhkhoi / autograd_pytorch
  Building your own autograd mechanism based on PyTorch tensor only (not Variable, can be seen as numpy array)
  ☆22Updated last year
• Kapilhk / SatPie
  SAT solver based on CDCL in Python with Conflict Driven Clause Learning, clever Heuristics - VSIDS, 2 - Literal watch advanced data struc…
  ☆21Updated 4 years ago
• Kaixhin / GUDRL
  Generalised UDRL
  ☆37Updated 3 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…
  ☆86Updated last year
• google-deepmind / emergent_communication_at_scale
  ☆38Updated last year
• willieneis / ProBO
  ProBO: Versatile Bayesian Optimization Using Any Probabilistic Programming Language
  ☆15Updated 6 years ago
• ermongroup / SPN_Variational_Inference
  PyTorch implementation for "Probabilistic Circuits for Variational Inference in Discrete Graphical Models", NeurIPS 2020
  ☆17Updated 3 years ago
• timvieira / rl
  Reference implementation of algorithms for reinforcement learning and Markov decision processes.
  ☆12Updated 4 years ago
• lucidrains / ESBN-pytorch
  Usable implementation of Emerging Symbol Binding Network (ESBN), in Pytorch
  ☆25Updated 4 years ago
• UCLA-StarAI / LearnPSDD
  ☆15Updated 6 years ago
• harvardnlp / hmm-lm
  ☆41Updated 4 years ago
• anirudh9119 / neural_production_systems
  ☆15Updated 4 years ago
• yangkevin2 / neurips2021-lap3
  ☆16Updated 3 years ago