You are not logged in | Log in
Logo of the Faculty of Mathematics, Informatics, and Mechanics, University of Warsaw Logo of the Faculty of Mathematics, Informatics, and Mechanics, University of Warsaw
Return to the list of grants

Deep neural architectures for automated theorem proving

Principal investigator
Bartosz Piotrowski
Contract number
UMO-2018/29/N/ST6/02903
Starting date
Dec. 7, 2018
Ending date
Jan. 23, 2022
Financed by
National Science Center

Careers

Website

© 2024 University of Warsaw. All rights reserved.