This page presents some of the use cases from researchers and students at RUC as well as few inspirational stories reposted from interactivehpc.dk. It also illustrates utilization of HPC from a technical point of view and shows enhancements of research.
-
Always, Sometimes & LLMs: Evaluating Temporal Logic in Large Language Models
Published on:
Author: DAVOR PAVITSEmail: stud-pavits@ruc.dk Supervisor: Torben BraünerEmail: torben@ruc.dk Abstract This study evaluates the ability of smaller scale Language Models to reason about temporal inferences under Priorean tense logic. A dataset of temporal inference tasks was constructed, including valid and invalid inference patterns, with sensical and nonsensical predicates to isolate structure from world knowledge. Four models […]