This repository contains code for the paper "Are Pretrained Language Models Symbolic Reasoners over Knowledge?"
☆13Mar 23, 2021Updated 4 years ago
Alternatives and similar repositories for reasoning-over-facts
Users that are interested in reasoning-over-facts are comparing it to the libraries listed below
Sorting:
- Stochastic Logic Programs (SLP) style probabilistic logic programming in miniKanren☆34Feb 3, 2013Updated 13 years ago
- [EMNLP 2020] PyTorch code of PRover: Proof Generation for Interpretable Reasoning over Rules☆19Jul 6, 2023Updated 2 years ago
- The repository for the paper "When Do You Need Billions of Words of Pretraining Data?"☆21Nov 10, 2020Updated 5 years ago
- Code for paper "Interactive Machine Comprehension with Information Seeking Agents" -- public version☆23Sep 3, 2019Updated 6 years ago
- Code repo for "Language Models with Transformers" paper☆22Sep 18, 2020Updated 5 years ago
- This repo describe how to generate the ARC-Challenge submission for BERT Baseline☆25Nov 23, 2022Updated 3 years ago
- deep learning for math☆29May 4, 2019Updated 6 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
- Code for the paper "Knowledge-driven Data Construction for Zero-shot Evaluation in Commonsense Question Answering" (AAAI 2021)☆30Feb 19, 2021Updated 5 years ago
- ☆10Feb 28, 2017Updated 9 years ago
- A first cut into exploring the use of dependency links for building Text Graphs, that, among other things, with help of a centrality algo…☆32Oct 20, 2023Updated 2 years ago
- Combining Symbolic and Function Evaluation Expressions In Neural Programs☆34Dec 19, 2019Updated 6 years ago
- FSA/FST algorithms, intended to (eventually) be interoperable with PyTorch and similar☆26Apr 25, 2022Updated 3 years ago
- ☆32Jun 14, 2019Updated 6 years ago
- Code Repo for "Differentiable Open-Ended Commonsense Reasoning" (NAACL 2021)☆32Jun 30, 2023Updated 2 years ago
- ☆38Mar 9, 2021Updated 5 years ago
- ☆12Sep 22, 2015Updated 10 years ago
- [Work in progress] A reading list for machine commonsense reasoning☆34Apr 14, 2020Updated 5 years ago
- Reading the data from OPIEC - an Open Information Extraction corpus☆38Jun 12, 2019Updated 6 years ago
- Knowledge-Aware RL agents with Commonsense Reasoning☆79Mar 4, 2022Updated 4 years ago
- Code for papers "A Surprisingly Robust Trick for Winograd Schema Challenge" and "WikiCREM: A Large Unsupervised Corpus for Coreference Re…☆71Oct 4, 2022Updated 3 years ago
- Home sharing app for Hillary Clinton supporters☆10Jan 6, 2017Updated 9 years ago
- Repository for the Machine Learning Failure Mode and Effects Analysis (ML FMEA) Template. The ML FMEA is detailed within the SAE World C…☆11Apr 3, 2025Updated 11 months ago
- Ethereum Smart Contract - Proof of Work token☆10Jul 2, 2017Updated 8 years ago
- ☆12Nov 22, 2024Updated last year
- Code Roberta version of RetroMAE: Pre-Training Retrieval-oriented Language Models Via Masked Auto-Encoder☆10Mar 16, 2023Updated 2 years ago
- ☆11Jul 25, 2020Updated 5 years ago
- A collection of English tweets annotated in Universal Dependencies.☆39Oct 20, 2021Updated 4 years ago
- Improving Machine Reading Comprehension with General Reading Strategies☆37Apr 23, 2019Updated 6 years ago
- EMNLP 2019: CaRe: Open Knowledge Graph Embeddings☆38Jul 6, 2023Updated 2 years ago
- A python library for easily querying morphological inflection models trained on Unimorph☆13Oct 23, 2022Updated 3 years ago
- Enhancing Sentence Embedding with Generalized Pooling☆11Jul 26, 2018Updated 7 years ago
- 🗿 SAT solver wrappers for Kotlin☆11Mar 2, 2024Updated 2 years ago
- Regular Invariant Generator and SMTLIB2 code transformer☆13Aug 8, 2022Updated 3 years ago
- ☆11May 8, 2019Updated 6 years ago
- content.rdf.u8.gz☆10Dec 15, 2020Updated 5 years ago
- Official implementation for "How Should We Meta-Learn Reinforcement Learning Algorithms?"☆23Sep 7, 2025Updated 6 months ago
- Materials for OPLSS 2021☆11Jun 1, 2021Updated 4 years ago
- The Backup Bag☆11Jul 27, 2022Updated 3 years ago