Conditional Theorem Proving
☆54Apr 30, 2021Updated 4 years ago
Alternatives and similar repositories for ctp
Users that are interested in ctp are comparing it to the libraries listed below
Sorting:
- Diagnostic benchmark suite to explicitly test logical relational reasoning on natural language☆98May 3, 2024Updated last year
- End-to-End Differentiable Proving☆90Nov 21, 2018Updated 7 years ago
- ☆15Oct 19, 2020Updated 5 years ago
- ☆132Oct 25, 2022Updated 3 years ago
- ☆58Jan 11, 2020Updated 6 years ago
- [EMNLP 2020] PyTorch code of PRover: Proof Generation for Interpretable Reasoning over Rules☆19Jul 6, 2023Updated 2 years ago
- Code for our project CROWN (Conversational Passage Ranking by Reasoning over Word Networks)☆10Jan 11, 2024Updated 2 years ago
- Layerwise Relevance Visualization in Convolutional Text Graph Classifiers☆12Jun 2, 2021Updated 4 years ago
- Benchmark Suite for Interpretable Rule Learning☆12Aug 23, 2020Updated 5 years ago
- A tensorflow implementation of neural sequence-to-sequence parser for converting natural language queries to logical form.☆26Dec 26, 2021Updated 4 years ago
- CS224S Course Project☆14Jun 9, 2014Updated 11 years ago
- Code for "Learning Compositional Rules via Neural Program Synthesis"☆60Dec 7, 2020Updated 5 years ago
- [ACL 20] Probing Linguistic Features of Sentence-level Representations in Neural Relation Extraction☆13Apr 21, 2020Updated 5 years ago
- LowFER: Low-rank Bilinear Pooling for Link Prediction (ICML 2020)☆13Sep 24, 2022Updated 3 years ago
- Code for the benchmark containing dataset, models and metrics for productive concept learning -- a kind of compositional reasoning task t…☆17Jul 22, 2021Updated 4 years ago
- Prolog interpreter with support for weak unification. Fork of https://bitbucket.org/cfbolz/pyrolog/☆15Jun 23, 2020Updated 5 years ago
- Communicative Message Passing for Inductive Relation Reasoning（AAAI-2021）☆35Oct 27, 2022Updated 3 years ago
- ☆36Dec 20, 2024Updated last year
- ☆22Jan 2, 2026Updated 2 months ago
- ☆38Jul 13, 2020Updated 5 years ago
- Cynical data selection☆20Jan 16, 2021Updated 5 years ago
- ☆14May 26, 2023Updated 2 years ago
- ☆18Sep 12, 2019Updated 6 years ago
- Code and data for the paper "Soft Gazetteers for Low-resource Named Entity Recognition"☆19Nov 3, 2020Updated 5 years ago
- A supplementary code for Beyond Vector Spaces: Compact Data Representation as Differentiable Weighted Graphs.☆47Nov 2, 2019Updated 6 years ago
- Template Filling with Generative Transformers☆23Jun 8, 2021Updated 4 years ago
- ARML for ICLR 2020☆42May 22, 2020Updated 5 years ago
- Fast consensus clustering in networks☆22Sep 13, 2024Updated last year
- Attend Infer Repeat (AIR) in PyTorch☆22Jul 25, 2024Updated last year
- Natural language generation with hidden markov models (using hmmlearn)☆25Sep 24, 2016Updated 9 years ago
- Inductive relation prediction by subgraph reasoning, ICML'20☆270Jul 25, 2024Updated last year
- [ACL 2023]: Training Trajectories of Language Models Across Scales https://arxiv.org/pdf/2212.09803.pdf☆25Nov 14, 2023Updated 2 years ago
- WebRED is a large and diverse manually annotated dataset for extracting relationships from a variety of text found on the World Wide Web.☆22Mar 11, 2021Updated 4 years ago
- Code accompanying our paper at AISTATS 2020☆21Jan 12, 2021Updated 5 years ago
- Economic models and things in Pytorch☆22Nov 30, 2017Updated 8 years ago
- Source Code for paper "NERO: A Neural Rule Grounding Framework for Label-Efficient Relation Extraction", WWW 2020☆47May 6, 2020Updated 5 years ago
- Python and TensorFlow implementation of the paper "Learning Explanatory Rules from Noisy Data." Evans Richard and Edward Grefenstette. Jo…☆53May 16, 2021Updated 4 years ago
- ☆23Jul 23, 2021Updated 4 years ago
- ☆26May 29, 2022Updated 3 years ago