2017. 09. 11. 14:00 - 2017. 09. 11. 15:30
MTA Rényi Intézet, nagyterem
-
-
-
-
Esemény típusa:
szeminárium
Szervezés:
Intézeti
-
-
Leírás
A mely neuronhalos gepi tanulas komoly attoreseket hozott szamitogepes latasban, gepi forditasban, gepi beszed felismeresben. Ebben az eloadasban azt targyaljuk hogy ezek a modszerek hasznosithatoak-e gepi formalis ervelesben, kulonos tekintettel az elmeleti matematikai bizonyitasok nagylepteku automatizalasaban.