You are not logged in |
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
