Tytuł projektu: Głębokie sieci neuronowe w automatycznym dowodzeniu twierdzeń
Instytucja: Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Miasto: Warszawa
Województwo: mazowieckie
Kierownik projektu: Bartosz Paweł Piotrowski
Panel: ST6 (obszar: ST)
Liczba wykonawców: 2
Finansowanie: 119100 PLN
Okres realizacji: 2019-01-24 00:00:00 – 2023-01-23 00:00:00 (48 miesięcy)