Wyniki wyszukiwania
Znaleziono 1 projekt spełniających kryteria wyszukiwania:
-
1. Głębokie sieci neuronowe w automatycznym dowodzeniu twierdzeń
Kierownik: Bartosz Paweł Piotrowski
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Konkurs: PRELUDIUM 15, panel: ST6