wdimmy / MeTeoRLinks
☆22Updated last year
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
- Probabilistic Type Inference using Graph Neural Networks☆51Updated 2 years ago
- Difflog: Synthesizing Datalog Programs using Numerical Relaxation☆12Updated 6 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…☆87Updated last year
- Neural Logic Inductive Learning☆44Updated 3 years ago
- Conditional Theorem Proving☆53Updated 4 years ago
- ☆58Updated 5 years ago
- Implementation of the paper "Automatic Program Synthesis of Long Programs with a Learned Garbage Collector"☆49Updated 4 years ago
- Metal: Learning a Meta-Solver for Syntax-Guided Program Synthesis☆15Updated 6 years ago
- 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
- Ancestral Gumbel-Top-k Sampling☆25Updated 5 years ago
- [Archived] A scalable differentiable probabilistic Datalog engine, with Rust☆73Updated 3 years ago
- Diagnostic benchmark suite to explicitly test logical relational reasoning on natural language☆96Updated last year
- Interview questions for Computer Science faculty jobs☆40Updated last year
- Code for Neural Execution Engines: Learning to Execute Subroutines☆17Updated 4 years ago
- ☆43Updated 2 years ago
- SatLM: SATisfiability-Aided Language Models using Declarative Prompting (NeurIPS 2023)☆50Updated last year
- PLUR (Programming-Language Understanding and Repair) is a collection of source code datasets suitable for graph-based machine learning. W…☆87Updated 3 years ago
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆68Updated last year
- Code for generating the JuICe dataset.☆37Updated 4 years ago
- Combining Symbolic and Function Evaluation Expressions In Neural Programs☆34Updated 5 years ago
- Source code for Neural Datalog Through Time: Informed Temporal Modeling via Logical Specification (ICML 2020).☆36Updated last year
- Multi-relational Poincaré Graph Embeddings☆162Updated 6 years ago
- A simple Pytorch implementation of Gated Graph Neural Networks☆59Updated 7 years ago
- PyTorch code for the RetoMaton paper: "Neuro-Symbolic Language Modeling with Automaton-augmented Retrieval" (ICML 2022)☆73Updated 3 years ago
- HOUDINI: Lifelong Learning as Program Synthesis☆49Updated 7 months ago
- Code for the paper "Learning to Prove Theorems by Learning to Generate Theorems"☆33Updated 5 years ago
- NeuroCore: Guiding CDCL with Unsat-Core Predictions☆46Updated 5 years ago