Our new lecturer Dr Agnieszka Mensfelt, together with members of our department’s neuro-symbolic AI group - Dr David Tena Cucala, Dr Santiago Franco, Dr Angeliki Koutsoukou-Argyraki, PhD student Vince Trencsenyi, and Prof Kostas Stathis - had her work accepted for presentation in the Emerging Trends in AI session at AAAI 2026 in Singapore.
The work reviews diverse instances of autoformalization with language models and proposes a unified framework that fosters collaboration across research areas to advance the development of next-generation AI neuro-symbolic systems.
The extended version of the paper, which will first appear in NeLaMKRR’25, is available here: https://arxiv.org/pdf/2509.09810
