Projekty finansowane przez NCN


Dane kierownika projektu i jednostki realizującej

Szczegółowe informacje o projekcie i konkursie

Słowa kluczowe

Aparatura

Wyczyść formularz

Uczenie maszynowe i automatyczne dowodzenie twierdzeń

2018/29/B/ST6/02959

Słowa kluczowe:

uczenie maszynowe uczenie ze wzmocnieniem logika automatyczne dowodzenie twierdzeń

Deskryptory:

  • ST6_4: Metody formalne, teoretyczne podstawy informatyki w tym informatyka teoretyczna
  • ST6_7: Sztuczna inteligencja, systemy inteligentne i wieloagentowe
  • ST6_11: Uczenie maszynowe, statystyczne przetwarzanie danych i zastosowanie w przetwarzaniu sygnałów

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):

dr hab. Henryk Michalewski 

Liczba wykonawców projektu: 10

Konkurs: OPUS 15 - ogłoszony 2018-03-15

Przyznana kwota: 867 000 PLN

Rozpoczęcie projektu: 2019-01-31

Zakończenie projektu: 2023-11-29

Planowany czas trwania projektu: 36 miesięcy (z wniosku)

Status projektu: Projekt w realizacji

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.

Dane z raportu końcowego

  • Teksty w publikacjach pokonferencyjnych (3)
  1. Measuring and Improving BERT's Mathematical Abilities by Predicting the Order of Reasoning
    Autorzy:
    Piotr Piękos, Henryk Michalewski, Mateusz Malinowski
    Konferencja:
    ACL (rok: 2021, ), Wydawca: ACL
    Data:
    konferencja June
    Status:
    Opublikowana
  2. Model-Based Reinforcement Learning for Atari
    Autorzy:
    Lukasz Kaiser, Mohammad Babaeizadeh, Piotr Milos, Blazej Osinski, Roy H Campbell, Konrad Czechowski, Dumitru Erhan, Chelsea Finn, Piotr Kozakowski, Sergey Levine, Afroz Mohiuddin, Ryan Sepassi, George Tucker, Henryk Michalewski
    Konferencja:
    ICLR 2020 (rok: 2020, ), Wydawca: ICLR
    Data:
    konferencja kwiecień
    Status:
    Opublikowana
  3. Towards finding longer proofs
    Autorzy:
    Zsolt Zombori, Adrián Csiszárik, Henryk Michalewski, Cezary Kaliszyk, Josef Urban
    Konferencja:
    International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (rok: 2021, ), Wydawca: Springer
    Data:
    konferencja 44317
    Status:
    Opublikowana