research Autoformalization and Deductive Reasoning Translating natural-language statements into formal representations, and studying where LLMs succeed and fail once knowledge is made explicit. Knowledge Base Construction from Language Models Treating LLMs as compressed, implicit knowledge bases — extracting, evaluating, and comparing their knowledge to structured sources. Text-to-SQL over Real-World Statistical Data Natural-language interfaces to official statistical data, in collaboration with Statistics Netherlands (CBS). Home of the LOCuST benchmark. Semantic Harmonisation in Digital Health (UNIFIED) EU Innovative Health Initiative project on patient-centred clinical-study endpoints derived from digital health technologies. Cross-Lingual Knowledge Consistency Whether multilingual language models and public knowledge sources encode the same facts across languages — and what drives the gaps when they don't.
