wdimmy / MeTeoRLinks
☆21Updated 11 months ago
Alternatives and similar repositories for MeTeoR
Users that are interested in MeTeoR are comparing it to the libraries listed below
Sorting:
- End-to-End Differentiable Proving☆90Updated 6 years ago
- DeepLogic: Towards End-to-End Differentiable Logical Reasoning☆25Updated 5 years ago
- Combining Symbolic and Function Evaluation Expressions In Neural Programs☆34Updated 5 years ago
- Ancestral Gumbel-Top-k Sampling☆25Updated 5 years ago
- Probabilistic Type Inference using Graph Neural Networks☆49Updated 2 years ago
- Reference implementations of basic and advanced hypergraph algorithms.☆49Updated last year
- 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
- Conditional Theorem Proving☆53Updated 4 years ago
- Neural Logic Inductive Learning☆44Updated 3 years ago
- Diagnostic benchmark suite to explicitly test logical relational reasoning on natural language☆94Updated last year
- A simple Pytorch implementation of Gated Graph Neural Networks☆59Updated 6 years ago
- G2SAT: Learning to Generate SAT Formulas☆49Updated 5 years ago
- A curated list of awesome neural programming resources☆55Updated 7 years ago
- ☆35Updated 7 months ago
- Code for Neural Execution Engines: Learning to Execute Subroutines☆17Updated 4 years ago
- Large Scale Graphical Model☆24Updated 6 years ago
- [Archived] A scalable differentiable probabilistic Datalog engine, with Rust☆73Updated 3 years ago
- Source code for Neural Datalog Through Time: Informed Temporal Modeling via Logical Specification (ICML 2020).☆36Updated last year
- This repository contains an entailment dataset for propositional logic, and code for generating that dataset. It also contains code for p…☆70Updated 7 years ago
- ☆58Updated 5 years ago
- Framework of DataLog Neural Program Synthesis☆26Updated 6 years ago
- Implementation of the paper "Automatic Program Synthesis of Long Programs with a Learned Garbage Collector"☆49Updated 4 years ago
- Tensorflow implementation for the Class-wise Selective Rationalization☆14Updated 2 years ago
- Factor Graph Grammars in Python☆13Updated 8 months ago
- Multi-relational Poincaré Graph Embeddings☆160Updated 5 years ago
- A neural-symbolic joint reasoning approach for Natural Language Inference (NLI). Modeling NLI as inference path planning through a search…☆15Updated 4 years ago
- RelNN is a novel first-order deep neural model for relational learning.☆28Updated 7 years ago
- SatLM: SATisfiability-Aided Language Models using Declarative Prompting (NeurIPS 2023)☆49Updated last year
- ☆65Updated last year
- HOUDINI: Lifelong Learning as Program Synthesis☆48Updated 4 months ago