6 papers
Automatic Conversion of NICE Guidelines to an Executable Computational Model Using Large Language Models
Ashvin Gupta, Denys Prociuk, Alessandra Russo +1
Introduction: NICE guidelines provide evidence-based recommendations for clinical care but remain largely in unstructured natural language. Existing approaches to converting them i…
Length Generalization with Log-Depth Recurrent Units
Charles Pert, Dalal Alrajeh, Alessandra Russo
Length generalization remains a persistent challenge for neural networks: recurrent models tend to suffer from positional biases, while transformers are constrained by fixed comput…
Beyond Fixed Tasks: Unsupervised Environment Design for Task-Level Pairs
Daniel Furelos-Blanco, Charles Pert, Frederik Kelbel +3
Training general agents to follow complex instructions (tasks) in intricate environments (levels) remains a core challenge in reinforcement learning. Random sampling of task-level…
RNN Generalization to Omega-Regular Languages
Charles Pert, Dalal Alrajeh, Alessandra Russo
Büchi automata (BAs) recognize -regular languages defined by formal specifications like linear temporal logic (LTL) and are commonly used in the verification of reactive systems…
-regular Expression Synthesis from Transition-Based Büchi Automata
Charles Pert, Dalal Alrajeh, Alessandra Russo
A popular method for modelling reactive systems is to use -regular languages. These languages can be represented as nondeterministic Büchi automata (NBAs) or -regular express…
RECAP-KG: Mining Knowledge Graphs from Raw GP Notes for Remote COVID-19 Assessment in Primary Care
Rakhilya Lee Mekhtieva, Brandon Forbes, Dalal Alrajeh +2
Clinical decision-making is a fundamental stage in delivering appropriate care to patients. In recent years several decision-making systems designed to aid the clinician in this pr…