Lachlan McGinness and Peter Baumgartner.
Automated Theorem Provers Help Improve Large Language Model Reasoning.
In Nikolaj Bj{o}rner, Marijn Heule, and Andrei Voronkov, editors, Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning, volume 100 of EPiC Series in Computing, pages 51--69. EasyChair, 2024. [ bib | DOI | http ]
 
Lachlan McGinness and Peter Baumgartner.
Steamroller Problems: An Evaluation of LLM Reasoning Capability with Automated Theorem Prover Strategies, 2024. [ bib | arXiv | http ]
 
Lachlan Mcginness and Peter Baumgartner.
CON-FOLD Explainable Machine Learning with Confidence.
Theory and Practice of Logic Programming, pages 1--19, 2024. [ bib | DOI ]
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 extends FOLD-RM in several ways. CON-FOLD assigns probability-based confidence scores to rules learned for a classification task. This allows users to know how confident they should be in a prediction made by the model. We present a confidence-based pruning algorithm that uses the unique structure of FOLD-RM rules to efficiently prune rules and prevent overfitting. Furthermore, CON-FOLD enables the user to provide preexisting knowledge in the form of logic program rules that are either (fixed) background knowledge or (modifiable) initial rule candidates. The paper describes our method in detail and reports on practical experiments. We demonstrate the performance of the algorithm on benchmark datasets from the UCI Machine Learning Repository. For that, we introduce a new metric, Inverse Brier Score, to evaluate the accuracy of the produced confidence scores. Finally, we apply this extension to a real-world example that requires explainability: marking of student responses to a short answer question from the Australian Physics Olympiad.
 
Lachlan McGinness, Peter Baumgartner, Esther Onyango, and Zelalem Lema.
Highlighting Case Studies in LLM Literature Review of Interdisciplinary System Science.
In Proceedings AJCAI, 2024.
To appear. [ bib | .pdf ]