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:
- Codebase for plCoP, a Prolog Technology Reinforcement Learning Prover☆13May 3, 2021Updated 5 years ago
- ☆10Feb 23, 2024Updated 2 years ago
- Datasets, mainly related to Entity Linking and biological corpus.☆10May 24, 2020Updated 6 years ago
- A neurosymbolic T5 agent for playing text games, from the EACL 2023 paper "Behavior Cloned Transformers are Neurosymbolic Reasoners"☆21Feb 25, 2023Updated 3 years ago
- Differentiable Learning of Logical Rules for Knowledge Base Reasoning☆226Feb 12, 2019Updated 7 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- [EMNLP 2020] PyTorch code of PRover: Proof Generation for Interpretable Reasoning over Rules☆20Jul 6, 2023Updated 3 years ago
- ☆14Jul 9, 2018Updated 8 years ago
- ☆16Dec 17, 2023Updated 2 years ago
- A Scalable Approximate Method for Probabilistic Neurosymbolic Inference☆26Jan 27, 2025Updated last year
- TinyNS: Platform-Aware Neurosymbolic Auto Tiny Machine Learning☆25Jun 2, 2023Updated 3 years ago
- Tree Stack Memory Units☆17Jun 17, 2020Updated 6 years ago
- Conversational Neuro-Symbolic Commonsense Reasoning☆27Jun 18, 2020Updated 6 years ago
- End-to-End Differentiable Proving☆91Nov 21, 2018Updated 7 years ago
- A simple chess engine☆11Dec 16, 2018Updated 7 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A collection of Tensorflow implementations of embeddings for entities.☆10Apr 25, 2019Updated 7 years ago
- [Findings of ACL 2022] Meta-Path Guided Contrastive Learning for Logical Reasoning of Text☆28Apr 8, 2026Updated 6 months ago
- incremental symbol learning for natural language understanding☆10Jun 12, 2023Updated 3 years ago
- End-to-end formally verified solvers for the general relativistic Maxwell and perfectly hyperbolic general relativistic Maxwell equations…☆26Jul 27, 2026Updated 3 months ago
- Source code for the paper "Guarantees for Greedy Maximization of Non-submodular Functions with Applications" in ICML 2017☆11May 13, 2019Updated 7 years ago
- The code for Template-GPT-2 Generation Model for Logic2Text Dataset☆18Jun 1, 2020Updated 6 years ago
- Repository for Sparse Universal Transformers☆20Oct 23, 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
- ☆13Apr 15, 2025Updated last year
- 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.
- Simulation code for “Receive Combining vs. Multi-Stream Multiplexing in Downlink Systems with Multi-Antenna Users” by Emil Björnson, Mari…☆10Oct 27, 2017Updated 9 years ago
- The source code for Adaptive Kernel Graph Neural Network at AAAI2022☆14Feb 23, 2022Updated 4 years ago
- PyTorch implementation of PtrNet to solve sorting problem.☆12Dec 19, 2017Updated 8 years ago
- Tarjan's implementation of the Chu-Liu-Edmonds algorithm for finding min/max spanning trees of dense graphs.☆11Apr 19, 2015Updated 11 years ago
- ☆12Nov 9, 2018Updated 7 years ago
- Question answering system developed using seq2seq and memory network model in Keras☆22Feb 20, 2018Updated 8 years ago
- Repo for 2020 EMNLP paper "Conditional Causal Relationships between Emotions and Causes in Texts"☆14Apr 8, 2021Updated 5 years ago
- Neural Logic Reasoning for Question Answering☆75May 25, 2021Updated 5 years ago
- Code for Robust Kronecker-Decomposable Component Analysis (ICCV 2017)☆13Sep 28, 2022Updated 4 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Export Tweets from Twitter into JSON file then publish as a Graph objects in Neo4j DB☆10Dec 7, 2018Updated 7 years ago
- ☆10Oct 1, 2020Updated 6 years ago
- ☆14Apr 30, 2024Updated 2 years ago
- ☆10Mar 2, 2021Updated 5 years ago
- Augmentation scripts for the bAbI Dialog Tasks dataset☆13Oct 16, 2018Updated 8 years ago
- An octree library for Java.☆10Aug 21, 2020Updated 6 years ago
- An experience-guided framework for evolving model trajectories at test time.☆14Sep 19, 2025Updated last year