Industrial-focused research combining large language models with formal knowledge and reasoning to enhance reliability and reduce hallucinations. Develop neuro-symbolic techniques with industry partners, leveraging compute infrastructure and publication support.