4 citations · 5 across the 3 of their papers we have counts for
Showing cs.AIShow all
2 papers · 1 filter
cs.AI2024
CON-FOLD -- Explainable Machine Learning with Confidence
Lachlan McGinness, Peter Baumgartner
FOLD-RM is an explainable machine learning classification algorithm that uses training data to create a set of classification rules. In this paper we introduce CON-FOLD which exten…
cs.AI2024★ 4 cited
Automated Theorem Provers Help Improve Large Language Model Reasoning
Lachlan McGinness, Peter Baumgartner
In this paper we demonstrate how logic programming systems and Automated first-order logic Theorem Provers (ATPs) can improve the accuracy of Large Language Models (LLMs) for logic…