Computer Science
Our Department started initiative on Autoformalization with Language Models
The work reviews diverse instances of autoformalization with language models and proposes a unified framework that fosters collaboration across research areas.
MOU signed between Royal Holloway and Crossrail International
The MOU supports an innovative partnership which aims to enhance research and technological innovation in transport infrastructure and digital transformation.
Computer Science hosts training for government officials to work with AI
A two-day event aimed at training government officials to work with Artificial Intelligence, organised by the Department of Computer Science, was hosted by Royal Holloway.