KYMA — Learning abstractions for checkable AI reasoning
Trainable phase representations, specialised language-model interfaces and independently checked reasoning and planning. Proposed duration: 36 months.
Read the full scientific programmeANULUM / RESEARCH
Research Programmes
Developing research programmes, their scientific questions, controlled tests and current stage.
Programmes describe proposed work and existing evidence separately. Preparing an application does not mean funding has been awarded.
Inside the research
Read the question, result and limits behind existing publications.
Read the research guides