# Using ConceptNet to Teach Common Sense to an Automated Theorem Prover

arXiv: https://arxiv.org/abs/1912.12957 · HTML: https://mlsanity.com/paper/1912.12957/

## Key facts

- Cited by 3 papers in the map (data through 14 Oct 2026).
- First posted on arXiv 30 Dec 2019.

## Built on by (most cited first, 3 of 3)

- [A Classification of Artificial Intelligence Systems for Mathematics Education](https://mlsanity.com/paper/2107.06015/) (2021)
- [Selection Strategies for Commonsense Knowledge](https://mlsanity.com/paper/2202.09163/) (2022)
- [VLCE: A Knowledge-Enhanced Framework for Image Description in Disaster Assessment](https://mlsanity.com/paper/2509.21609/) (2025)

## Abstract (arXiv)

The CoRg system is a system to solve commonsense reasoning problems. The core of the CoRg system is the automated theorem prover Hyper that is fed with large amounts of background knowledge. This background knowledge plays a crucial role in solving commonsense reasoning problems. In this paper we present different ways to use knowledge graphs as background knowledge and discuss challenges that arise.