DeepLogic: Towards End-to-End Differentiable Logical Reasoning
☆25Jul 7, 2020Updated 5 years ago
Alternatives and similar repositories for deeplogic
Users that are interested in deeplogic are comparing it to the libraries listed below
Sorting:
- Datasets, mainly related to Entity Linking and biological corpus.☆10May 24, 2020Updated 5 years ago
- ☆16Dec 17, 2023Updated 2 years ago
- ☆12Mar 31, 2024Updated last year
- Tree Stack Memory Units☆17Jun 17, 2020Updated 5 years ago
- [EMNLP 2020] PyTorch code of PRover: Proof Generation for Interpretable Reasoning over Rules☆19Jul 6, 2023Updated 2 years ago
- Differentiable Learning of Logical Rules for Knowledge Base Reasoning☆224Feb 12, 2019Updated 7 years ago
- deep learning for math☆29May 4, 2019Updated 6 years ago
- [Findings of ACL 2022] Meta-Path Guided Contrastive Learning for Logical Reasoning of Text☆28Mar 21, 2022Updated 3 years ago
- Source code of Neural Logic Reinforcement Learning (https://arxiv.org/abs/1904.10729)☆77Jan 6, 2020Updated 6 years ago
- simd enabled column imprints☆11Feb 12, 2018Updated 8 years ago
- A semidefinite programming solver for clustered low-rank SDPs☆14Feb 25, 2026Updated last week
- This repository contains codes for *Sem 2023 paper “Generative Data Augmentation for Aspect Sentiment Quad Prediction”.☆11May 30, 2023Updated 2 years ago
- Fast and thread safe C++11 implementation of of the Aho-Corasick algorithm.☆10Mar 4, 2020Updated 6 years ago
- Export Tweets from Twitter into JSON file then publish as a Graph objects in Neo4j DB☆10Dec 7, 2018Updated 7 years ago
- ☆10Oct 11, 2022Updated 3 years ago
- Formalization of Arithmetization of Mathematics/Metamathematics☆13Mar 8, 2025Updated 11 months ago
- A comparison of various moving window median algorithms☆17Jun 4, 2011Updated 14 years ago
- ☆11Oct 31, 2021Updated 4 years ago
- Complexity analysis in Lean☆10Feb 5, 2024Updated 2 years ago
- ☆11Sep 15, 2025Updated 5 months ago
- A programming language written in Python and LLVMLite☆11Apr 15, 2022Updated 3 years ago
- Introduction to Python for Data Science☆13Oct 11, 2024Updated last year
- ☆13Jul 8, 2024Updated last year
- Streamlines the creation of dataset to train a Large Language Model with triplets : instruction-input-output . The default configuration …☆13Apr 17, 2023Updated 2 years ago
- Code for the ICLR 2024 paper "How Realistic Is Your Synthetic Data? Constraining Deep Generative Models for Tabular Data"☆18Apr 15, 2025Updated 10 months ago
- Compute and manipulate Hodge diamonds for many classes of smooth projective varieties☆11Jan 22, 2026Updated last month
- Interesting ATP Proofs☆13Sep 3, 2021Updated 4 years ago
- ☆12Jan 7, 2020Updated 6 years ago
- Manifold Diffusion Fields☆10May 19, 2024Updated last year
- NetBricks: A new network function framework based on Rust.☆12Jan 2, 2026Updated 2 months ago
- Risk Minimization Algorithms in Structured Prediction (JMLR 2016)☆13Jan 26, 2017Updated 9 years ago
- Application which use JavaFX, SQLite, JDBC, Log4j, Maven. To see how it works (in animation) open README.☆10May 11, 2017Updated 8 years ago
- Lindemann–Weierstrass Theorem☆11May 4, 2024Updated last year
- Code for our paper "AMR-DA: Data augmentation by abstract meaning representation" in ACL 2022☆13May 17, 2022Updated 3 years ago
- A very simple variant of adversarial training that yields excellent results on MNIST☆12Mar 19, 2016Updated 9 years ago
- ☆12Nov 9, 2018Updated 7 years ago
- Adding conjecturing to Sage☆14Mar 17, 2023Updated 2 years ago
- Code & data for ICLR 2024 spotlight paper: 🍯MUSTARD: Mastering Uniform Synthesis of Theorem and Proof Data☆42May 29, 2024Updated last year
- CUDA Tensor Transpose (cuTT) library☆10Sep 24, 2021Updated 4 years ago