Projekty finansowane przez NCN

Dane kierownika projektu i jednostki realizującej

Szczegółowe informacje o projekcie i konkursie

Słowa kluczowe

Aparatura

Wyczyść formularz

Głębokie sieci neuronowe w automatycznym dowodzeniu twierdzeń

2018/29/N/ST6/02903

Słowa kluczowe:

głębokie sieci neuronowe automatyczne dowodzenie twierdzeń sztuczna inteligencja

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

Inne projekty tej jednostki 

Kierownik projektu (z jednostki realizującej):

Bartosz Piotrowski 

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

  1. Stacja robocza. Za kwotę 8 000 PLN
  2. Karta graficzna NVIDIA GeForce GTX 1080 Ti (lub podobna). Za kwotę 4 000 PLN

Dane z raportu końcowego/rocznego

  • Teksty w publikacjach pokonferencyjnych (5)
  1. 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, ), Wydawca: Springer
    Data:
    konferencja 44013
    Status:
    Opublikowana
  2. ProofNet: Autoformalizing and Formally Proving Undergraduate-Level Mathematics
    Autorzy:
    Zhangir Azerbayev, Bartosz Piotrowski, Hailey Schoelkopf, Edward Ayers, Dragomir Radev, Jeremy Avigad
    Konferencja:
    Thirty-seventh Conference on Neural Information Processing Systems , Wydawca: OpenReview.net
    Data:
    konferencja 10-16.12.2023
    Status:
    Złożona
  3. Guiding Inferences in Connection Tableau by Recurrent Neural Networks
    Autorzy:
    Bartosz Piotrowski, Josef Urban
    Konferencja:
    13th Conference on Intelligent Computer Mathematics (rok: 2020, ), Wydawca: Springer LNCS
    Data:
    konferencja 44038
    Status:
    Opublikowana
  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, ), Wydawca: EPiC Series in Computing
    Data:
    konferencja 43973
    Status:
    Opublikowana
  5. 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
    Data:
    konferencja 31.07.2023-04.08.2023
    Status:
    Przyjęta do publikacji

O Narodowym Centrum Nauki

Finansowanie nauki

Współpraca zagraniczna

Centrum prasowe

Deklaracja dostępności
Przetwarzanie danych osobowych
Polityka cookies

Partnerzy