-
-
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 Mingming Gong, Yiliao Song, Yun Sing Koh, Wei Xiang, and Derui
Wang, editors, AI 2024: Advances in Artificial Intelligence, pages
29--43, Singapore, 2024. Springer Nature Singapore.
[ bib |
DOI |
.pdf ]
Large Language Models (LLMs) were used to assist four Commonwealth Scientific and Industrial Research Organisation (CSIRO) researchers to perform systematic literature reviews (SLR). We evaluate the performance of LLMs for SLR tasks in these case studies. In each, we explore the impact of changing parameters on the accuracy of LLM responses. The LLM was tasked with extracting evidence from chosen academic papers to answer specific research questions. We evaluate the models' performance in faithfully reproducing quotes from the literature and subject experts were asked to assess the model performance in answering the research questions. We developed a semantic text highlighting tool to facilitate expert review of LLM responses.