Matthew Mantle
YOU?
Author Swipe
View article: Model Checking Using Large Language Models—Evaluation and Future Directions
Model Checking Using Large Language Models—Evaluation and Future Directions Open
Large language models (LLMs) such as ChatGPT have risen in prominence recently, leading to the need to analyze their strengths and limitations for various tasks. The objective of this work was to evaluate the performance of large language …
View article: Querying large-scale knowledge graphs using Qualitative Spatial Reasoning
Querying large-scale knowledge graphs using Qualitative Spatial Reasoning Open
In this paper we consider how Qualitative Spatial Reasoning (QSR) can be used to answer queries over large-scale knowledge graphs such as YAGO and DBPedia. We describe the challenges associated with spatially querying knowledge graphs such…