1.8k citations
Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.
- Turing InstituteGB178 papers
- University of OxfordGB114 papers
- University of WarwickGB102 papers
- Queen Mary University of LondonGB91 papers
- University of CambridgeGB89 papers
- University College LondonGB81 papers
- Imperial College LondonGB60 papers
- University of EdinburghGB54 papers
- University of ManchesterGB30 papers
- University of ExeterGB25 papers
- University of SouthamptonGB20 papers
- Centre National de la Recherche ScientifiqueFR19 papers
18 papers · 1 filter
Conformal Adversarial Generative Ensemble
Ahmad Shahi, Mamehgol Yousefi, Brendon J. Woodford +2
Accurate time series forecasting is critical across various domains, yet traditional ensemble methods often suffer from the disproportionate influence of extreme forecasts. We intr…
Execution-bound advisory automation for agentic AI: a reproducible AIBOM-driven CSAF-VEX framework
Petar Radanliev, Omar Santos, Carsten Maple +1
A protocol driven framework is presented that binds SBOM and AIBOM artefacts to deterministic environment capture and structured runtime telemetry. Exploitability is computed from…
Reliability of Probabilistic Emulation of Physical Systems
Sam F. Greenbury, Radka Jersakova, Paolo Conti +5
Two dominant approaches have emerged for generating probabilistic forecasts of physical systems: generative models, such as diffusion or flow matching; and ensembles of determinist…
Operationalising Artificial Intelligence Bills of Materials (AIBOMs) for Verifiable AI Provenance and Lifecycle Assurance
Petar Radanliev, Omar Santos, Carsten Maple +1
Artificial Intelligence (AI) systems are increasingly dependent on complex, multi-layered software supply chains that introduce challenges for reproducibility, transparency, and se…
Learning and Enforcing Context-Sensitive Control for LLMs
Mohammad Albinhassan, Pranava Madhyastha, Mark Law +1
Controlling the output of Large Language Models (LLMs) through context-sensitive constraints has emerged as a promising approach to overcome the limitations of Context-Free Grammar…
Computational Hermeneutics: Evaluating generative AI as a cultural technology
Cody Kommers, Ruth Ahnert, Maria Antoniak +35
Generative AI systems are increasingly recognized as cultural technologies, yet current evaluation frameworks often treat culture as a variable to be measured rather than fundament…
AI Generalisation Gap In Comorbid Sleep Disorder Staging
Saswata Bose, Suvadeep Maiti, Shivam Kumar Sharma +4
Accurate sleep staging is essential for diagnosing OSA and hypopnea in stroke patients. Although PSG is reliable, it is costly, labor-intensive, and manually scored. While deep lea…
SBOMs into Agentic AIBOMs: Schema Extensions, Agentic Orchestration, and Reproducibility Evaluation
Petar Radanliev, Carsten Maple, Omar Santos +1
Software supply-chain security requires provenance mechanisms that support reproducibility and vulnerability assessment under dynamic execution conditions. Conventional Software Bi…
On The Effectiveness of the UK NIS Regulations as a Mandatory Cybersecurity Reporting Regime
Junade Ali, Chris Hicks
Existing cybersecurity literature lacks a source of empirical, representative data as to the true nature of cyberattacks on Critical National Infrastructure. We have obtained UK-wi…
The science and practice of proportionality in AI risk evaluations
Carlos Mougan, Lauritz Morlock, Jair Aguirre +19
A global challenge in artificial intelligence (AI) regulation lies in achieving effective risk management without compromising innovation and technical progress. The European Union…
Photons x Force: Differentiable Radiation Pressure Modeling
Charles Constant, Elizabeth Bates, Santosh Bhattarai +2
We propose a system to optimize parametric designs subject to radiation pressure, \ie the effect of light on the motion of objects. This is most relevant in the design of spacecraf…
Causal Pre-training Under the Fairness Lens: An Empirical Study of TabPFN
Qinyi Liu, Mohammad Khalil, Naman Goel
Foundation models for tabular data, such as the Tabular Prior-data Fitted Network (TabPFN), are pre-trained on a massive number of synthetic datasets generated by structural causal…
Fast Surrogate Models for Adaptive Aircraft Trajectory Prediction in En route Airspace
Nick Pepper, Marc Thomas, Zack Xuereb Conti
Trajectory prediction (TP) is crucial for ensuring safety and efficiency in modern air traffic management systems. It is, for example, a core component of conflict detection and re…
Human-in-the-Loop Testing of AI Agents for Air Traffic Control with a Regulated Assessment Framework
Ben Carvell, Marc Thomas, Andrew Pace +7
We present a rigorous, human-in-the-loop evaluation framework for assessing the performance of AI agents on the task of Air Traffic Control, grounded in a regulator-certified simul…
Online Action-Stacking Improves Reinforcement Learning Performance for Air Traffic Control
Ben Carvell, George De Ath, Eseoghene Benjamin +1
We introduce online action-stacking, an inference-time wrapper for reinforcement learning policies that produces realistic air traffic control commands while allowing training on a…
A Future Capabilities Agent for Tactical Air Traffic Control
Paul Kent, George De Ath, Martin Layton +3
Escalating air traffic demand is driving the adoption of automation to support air traffic controllers, but existing approaches face a trade-off between safety assurance and interp…
A Probabilistic Digital Twin of UK En Route Airspace for Training and Evaluating AI Agents for Air Traffic Control
Nick Pepper, Adam Keane, Amy Hodgkin +11
This paper presents the first probabilistic Digital Twin of operational en route airspace, developed for the London Area Control Centre. The Digital Twin is intended to support the…
Neighbourhood topology unveils pathological hubs in the brain networks of epilepsy-surgery patients
Leonardo Di Gaetano, Fernando A. N. Santos, Federico Battiston +6
Pathological hubs in the brain networks of epilepsy patients are hypothesized to drive seizure generation and propagation. In epilepsy-surgery patients, these hubs have traditional…