Trending
🎉 ELIAS Mobility Grant for a research visit @ the University of Oxford! 🎉
I have been awarded an ELIAS mobilty grant for a research visit to work with Professor Marta Kwiatkowska at the University of Oxford from May to June 2026! 🎉
Sherlock4Py
🔎🐛 Sherlock4Py 🐍 MaxSAT-Based Misbehaviour Verification and Localisation Framework for Python Sherlock4Py is a research project investigating how formal reasoning and Large …
Neuro-Symbolic AI for Reliable Reasoning
Modern foundation models, including Large Language Models (LLMs) and Vision-Language Models (VLMs), have remarkable capabilities for understanding natural language, code, and …
Trending
🎉 ELSA Mobility Grant for a research visit @ the University of Oxford! 🎉
I have been awarded an ELSA mobilty grant for a research visit to work with Professor Marta Kwiatkowska at the University of Oxford from October to December 2025! 🎉