Głębokie sieci neuronowe w automatycznym dowodzeniu twierdzeń
2018/29/N/ST6/02903
Słowa kluczowe
Deskryptory
- ST6_7: Sztuczna inteligencja, systemy inteligentne i wieloagentowe
- ST6_11: Uczenie maszynowe, statystyczne przetwarzanie danych i zastosowanie w przetwarzaniu sygnałów
- ST6_4: Metody formalne, teoretyczne podstawy informatyki w tym informatyka teoretyczna
Panel
ST6 – Informatyka i technologie informacyjne: technologie i systemy informacyjne, informatyka, obliczenia naukowe, systemy inteligentne
Jednostka realizująca
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
woj. mazowieckie
Kierownik projektu (z jednostki realizującej)
Liczba wykonawców projektu: 2
Konkurs
PRELUDIUM 15 – ogłoszony 2018-03-15
- Przyznana kwota
- 119 100 PLN
- Rozpoczęcie projektu
- 2019-01-24
- Zakończenie projektu
- 2023-01-23
- Planowany czas trwania projektu
- 48 miesięcy (z wniosku)
- Status projektu
- Projekt rozliczony
Opis projektu
Pobierz opis projektu w formacie .pdf
Uwaga — opisy projektów zostały sporządzone przez samych autorów wniosków i w niezmienionej formie umieszczone w systemie.
Zakupiona aparatura
- Karta graficzna NVIDIA GeForce GTX 1080 Ti (lub podobna). Za kwotę 4 000 PLN
- Stacja robocza. Za kwotę 8 000 PLN
Dane z raportu końcowego/rocznego
Teksty w publikacjach pokonferencyjnych (4)
-
Stateful Premise Selection by Recurrent Neural Networks
- Autorzy:
- Bartosz Piotrowski, Josef Urban
- Konferencja:
- 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning (rok: 2020, strony: 409-422), Wydawca: EPiC Series in Computing
- Data:
- konferencja 43973
- Status:
- Opublikowana
-
ENIGMA Anonymous: Symbol-Independent Inference Guiding Machine
- Autorzy:
- Jan Jakubuv, Karel Chvalovský, Miroslav Olsák, Bartosz Piotrowski, Martin Suda, Josef Urban
- Konferencja:
- Automated Reasoning - 10th International Joint Conference (rok: 2020, strony: 448-463), Wydawca: Springer
- Data:
- konferencja 44013
- Status:
- Opublikowana
-
Guiding Inferences in Connection Tableau by Recurrent Neural Networks
- Autorzy:
- Bartosz Piotrowski, Josef Urban
- Konferencja:
- 13th Conference on Intelligent Computer Mathematics (rok: 2020, strony: 309-314), Wydawca: Springer LNCS
- Data:
- konferencja 44038
- Status:
- Opublikowana
-
MizAR 60 for Mizar 50
- Autorzy:
- Jan Jakubuv, Karel Chvalovský, Zarathustra Amadeus Goertzel, Cezary Kaliszyk, Mirek Olsák, Bartosz Piotrowski, Stephan Schulz, Martin Suda, Josef Urban
- Konferencja:
- Fourteenth Conference on Interactive Theorem Proving (rok: 2023), Wydawca: Schloss Dagstuhl – Leibniz-Zentrum für Informatik
- Status:
- Przyjęta do publikacji