Innovating Works

AI4REASON

Financiado
Artificial Intelligence for Large Scale Computer Assisted Reasoning
The goal of the AI4REASON project is a breakthrough in what is considered a very hard problem in AI and automation of reasoning, namely the problem of automatically proving theorems in large and complex theories. Such complex form... ver más
31/10/2020
CVUT
1M€
Presupuesto del proyecto: 1M€
ver más

Líder del proyecto
CESKE VYSOKE UCENI TECHNICKE V PRAZE No se ha especificado una descripción o un objeto social para esta compañía.
TRL 4-5
Fecha límite participación Sin fecha límite de participación.
Financiación concedida El organismo H2020 notifico la concesión del proyecto el día 2020-10-31
ERC-CoG-2014: ERC Consolidator Grant
Cerrada hace 10 años
0% 100% 100%

Información adicional privada

No hay información privada compartida para este proyecto. Habla con el coordinador.