Automated Reasoning Group

at the AI Department of CIIRC at CTU in Prague

Our goal

Our goal is to develop strong AI and automated reasoning (AR) systems capable of assisting mathematics, science, and the development of formally verified software and designs. Our focus is on combining AR with machine learning (ML) and cross-fertilization of inductive and deductive AI methods, in particular over large formal mathematical and verification corpora.

Research topics