DeepLogic: Towards End-to-End Differentiable Logical Reasoning
☆25Jul 7, 2020Updated 6 years ago
Alternatives and similar repositories for deeplogic
Users that are interested in deeplogic are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆16Dec 17, 2023Updated 2 years ago
- [EMNLP 2020] PyTorch code of PRover: Proof Generation for Interpretable Reasoning over Rules☆20Jul 6, 2023Updated 3 years ago
- ☆12Mar 31, 2024Updated 2 years ago
- This is the code of paper: Robust Mid-Pass Filtering Graph Convolutional Networks.(paper accepted by WWW2023)☆13Feb 17, 2023Updated 3 years ago
- Differentiable Learning of Logical Rules for Knowledge Base Reasoning☆226Feb 12, 2019Updated 7 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- A collection of Tensorflow implementations of embeddings for entities.☆10Apr 25, 2019Updated 7 years ago
- A simple chess engine☆11Dec 16, 2018Updated 7 years ago
- [Findings of ACL 2022] Meta-Path Guided Contrastive Learning for Logical Reasoning of Text☆28Apr 8, 2026Updated 3 months ago
- Source code of Neural Logic Reinforcement Learning (https://arxiv.org/abs/1904.10729)☆77Jan 6, 2020Updated 6 years ago
- incremental symbol learning for natural language understanding☆10Jun 12, 2023Updated 3 years ago
- A PyTorch implementation of Conv-TasNet described in "TasNet: Surpassing Ideal Time-Frequency Masking for Speech Separation" with Permuta…☆11Aug 8, 2020Updated 5 years ago
- PyTorch implementation of PtrNet to solve sorting problem.☆12Dec 19, 2017Updated 8 years ago
- This is the backend layer of SearchX. SearchX is a scalable collaborative search system being developed by Lambda Lab of TU Delft.☆11Jan 5, 2023Updated 3 years ago
- The code for Template-GPT-2 Generation Model for Logic2Text Dataset☆18Jun 1, 2020Updated 6 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- A comprehensive list of pytorch related content on github,such as different models,implementations,helper libraries,tutorials etc.☆12Apr 1, 2017Updated 9 years ago
- Unsupervised feature learning for audio classification using convolutional deep belief networks☆11Jul 25, 2015Updated 11 years ago
- ☆14Apr 30, 2024Updated 2 years ago
- implement of paper 'Probabilistic End-to-end Noise Correction for Learning with Noisy Labels'☆16Jul 18, 2019Updated 7 years ago
- ☆16Feb 26, 2023Updated 3 years ago
- Natural language processing tools developed by the World Bank's DECAT unit. A suite of text preprocessing and cleaning algorithms for NLP…☆10Jun 11, 2022Updated 4 years ago
- All those android development sources that you need to be and stay awesome!☆15Mar 21, 2017Updated 9 years ago
- Visual Bidirectional Kernelized Network for Visual Question Answering☆11Jul 17, 2017Updated 9 years ago
- This repository contains codes for *Sem 2023 paper “Generative Data Augmentation for Aspect Sentiment Quad Prediction”.☆10May 30, 2023Updated 3 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- The implementation of gradient boosting machine for concordance index learning.☆16Oct 8, 2013Updated 12 years ago
- ❇️ The best modules for Markov Logic Networks condensed in one framework.☆13Dec 20, 2017Updated 8 years ago
- The code of Paper "Logic-Driven Context Extension and Data Augmentation for Logical Reasoning of Text".☆48Mar 2, 2023Updated 3 years ago
- ☆12Jan 7, 2020Updated 6 years ago
- ☆10Oct 1, 2020Updated 5 years ago
- deep learning for math☆30May 4, 2019Updated 7 years ago
- ☆15Apr 19, 2021Updated 5 years ago
- Code for Evaluating Explanations for Reading Comprehension with Realistic Counterfactuals.☆17Apr 25, 2021Updated 5 years ago
- First-order automated theorem prover based on the tableau method☆19Jul 8, 2026Updated 2 weeks ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- CITE: A Corpus of Image-Text Discourse Relations☆13Apr 7, 2019Updated 7 years ago
- Learning Algebraic Representation for Systematic Generalization in Abstract Reasoning☆11Jul 20, 2022Updated 4 years ago
- Code and data for the NAACL 2021 paper: "XFORMAL: A Benchmark for Multilingual Formality Style Transfer"☆12Jun 7, 2021Updated 5 years ago
- An abductive reasoning engine written in C++.☆13Dec 28, 2018Updated 7 years ago
- ☆10Mar 2, 2021Updated 5 years ago
- Hypergraph convolution and attention networks research☆15Jul 31, 2024Updated last year
- An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics☆55Apr 6, 2026Updated 3 months ago