PhD position: Improving Language Models with Formal Knowledge in Industry

full-time Computer Occupations

In the context of our VLAIO TETRA project Reliable Language Intelligence for Knowledge (ReLIK), we are looking for a PhD student within the DTAI research unit, part of the Department of Computer Science, and the EAVISE research group, a KU Leuven research group in Sint-Katelijne-Waver, to conduct research on the combination of language models and formal systems in an industrial context.

Project

In industry, language models are currently being widely experimented with to build, among other things, intelligent assistants and company-specific search functions. However, we notice that companies still have many questions about reliability: modern LLMs still do not guarantee correctness and tend to hallucinate facts. By contrast, other AI technologies, such as knowledge graphs and formal reasoning engines, are able to reason reliably, but are less good at handling ambiguity.

This PhD focuses on combining these two types of systems, in close...