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. UNIFIED EU Innovative Health Initiative project on patient-centred clinical-study endpoints derived from digital health technologies.
