Hybrid and neuro-symbolic reasoning
Explore combinations of language-model inference, domain rules, constraints, knowledge representation and computational engines to improve controllability and inspectability.
Trustworthy Agentic AI
Our research agenda focuses on practical limits of agentic systems in consequential domains and ways to make them more structured, testable and transparent.
Explore combinations of language-model inference, domain rules, constraints, knowledge representation and computational engines to improve controllability and inspectability.
Study role-specialized agents, interactions, objective constraints and evaluation strategies for complex simulations.
Investigate retrieval, graph-based context, provenance and access-aware use of unstructured and structured evidence.
Study confidence and abstention signals, escalation, overrides, review interfaces and evidence presentation.
Create realistic test conditions, adversarial edge cases and domain-expert review protocols before practical deployment.
A closer look
Natural-language models are powerful, but some questions require explicit structure, constraints and computation.
Different roles can improve task decomposition, but agent agreement is not itself evidence of correctness.
Research should result in measurable knowledge about what works and what does not.