Projects funded by the NCN


Information on the principal investigator and host institution

Information of the project and the call

Keywords

Equipment

Delete all

Machine learning and automatic theorem proving

2018/29/B/ST6/02959

Keywords:

machine learning reinforcement learning logic automatic theorem proving

Descriptors:

  • ST6_4: Formal methods, foundations of computer science, including theoretical computer science, quantum algorithms
  • ST6_7: Artificial intelligence, intelligent systems, multi-agent systems
  • ST6_11: Machine learning, statistical data processing and applications using signal processing (e.g. speech, image, video)

Panel:

ST6 - Computer science and informatics: informatics and information systems, computer science, scientific computing, intelligent systems

Host institution :

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

woj. mazowieckie

Other projects carried out by the institution 

Principal investigator (from the host institution):

dr hab. Henryk Michalewski 

Number of co-investigators in the project: 10

Call: OPUS 15 - announced on 2018-03-15

Amount awarded: 867 000 PLN

Project start date (Y-m-d): 2019-01-31

Project end date (Y-m-d): 2023-11-29

Project duration:: 36 months (the same as in the proposal)

Project status: Project completed

Project description

Download the project description in a pdf file

Note - project descriptions were prepared by the authors of the applications themselves and placed in the system in an unchanged form.