Alternatives and similar repositories for MeTeoR

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

• MrVPlusOne / LambdaNet
  Probabilistic Type Inference using Graph Neural Networks
  ☆51Updated 3 years ago
• uclnlp / ntp
  End-to-End Differentiable Proving
  ☆90Updated 7 years ago
• uclnlp / gntp
  ☆58Updated 5 years ago
• gblackout / NLIL
  Neural Logic Inductive Learning
  ☆44Updated 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…
  ☆87Updated last year
• timvieira / hypergraphs
  Reference implementations of basic and advanced hypergraph algorithms.
  ☆49Updated last year
• nuric / deeplogic
  DeepLogic: Towards End-to-End Differentiable Logical Reasoning
  ☆25Updated 5 years ago
• uclnlp / ctp
  Conditional Theorem Proving
  ☆53Updated 4 years ago
• petablox / difflog
  Difflog: Synthesizing Datalog Programs using Numerical Relaxation
  ☆12Updated 6 years ago
• ML-KULeuven / PySDD
  Python package for Sentential Decision Diagrams (SDD)
  ☆68Updated 2 weeks ago
• JiaxuanYou / G2SAT
  G2SAT: Learning to Generate SAT Formulas
  ☆49Updated 5 years ago
• facebookresearch / clutrr
  Diagnostic benchmark suite to explicitly test logical relational reasoning on natural language
  ☆96Updated last year
• ForoughA / neuralMath
  Combining Symbolic and Function Evaluation Expressions In Neural Programs
  ☆34Updated 5 years ago
• ibalazevic / multirelational-poincare
  Multi-relational Poincaré Graph Embeddings
  ☆162Updated 6 years ago
• juanpablos / GNN-logic
  ☆11Updated 2 years ago
• Mehran-k / RelNN
  RelNN is a novel first-order deep neural model for relational learning.
  ☆28Updated 8 years ago
• code-terminator / classwise_rationale
  Tensorflow implementation for the Class-wise Selective Rationalization
  ☆14Updated 2 years ago
• GustikS / NeuraLogic
  Deep relational learning through differentiable logic programming.
  ☆112Updated 4 months ago
• trishullab / houdini
  HOUDINI: Lifelong Learning as Program Synthesis
  ☆49Updated 8 months ago
• pcyin / pytorch-gated-graph-neural-network
  A simple Pytorch implementation of Gated Graph Neural Networks
  ☆59Updated 7 years ago
• PL-ML / metal
  Metal: Learning a Meta-Solver for Syntax-Guided Program Synthesis
  ☆15Updated 6 years ago
• DeepGraphLearning / pLogicNet
  ☆146Updated 5 years ago
• microsoft / msrc-dpu-learning-to-represent-edits
  C# Data Extraction for "Learning to Represent Edits"
  ☆27Updated 7 years ago
• shaohua0116 / awesome-program
  A curated list of papers related to program synthesis, program induction, program execution, program and code repair, and programmatic re…
  ☆168Updated 4 years ago
• amitz25 / PCCoder
  Implementation of the paper "Automatic Program Synthesis of Long Programs with a Learned Garbage Collector"
  ☆49Updated 4 years ago
• rajasagashe / JuICe
  Code for generating the JuICe dataset.
  ☆37Updated 4 years ago
• theSage21 / lorentz-embeddings
  Embed arbitrary graphs in Hyperbolic space
  ☆76Updated 3 years ago
• uclnlp / cqd
  Continuous Query Decomposition for Complex Query Answering in Incomplete Knowledge Graphs
  ☆98Updated 3 years ago
• hp027 / AliGraph
  Large Scale Graphical Model
  ☆24Updated 6 years ago
• quark0 / ANALOGY
  Analogical inference for knowledge graph completion
  ☆72Updated 8 years ago