SOURCE-LINKED INTELLIGENCE
Reinforcement learning to improve proof-automation in theorem proving
earcher position at the Czech Institute of Informatics, Robotics and Cybernetics (CIIRC) within the Czech Technical University (CTU) in Prague. Dr Urban and the CIIRC group are experts in integrating machine learning (ML) and interactive theorem proving. Their infrastructure and expertise targeted to ML and ITPs provide the best research environment for this project. Jonathan Julián Huerta y Munive, the researcher carrying out the project, complements this expertise with his Isabelle/HOL experience and knowledge of ITP applications. deductive verification, reinforcement learning, interactive theorem provers
Read original source ↗ Open in workspace
- recordType
- award
- status
- SIGNED
- region
- EU
- value
- 166278.72
- unit
- EUR
Evidence & attribution
European Commission, CORDIS Horizon Europe project dataset. Metadata adapted.
License: CORDIS reuse policy
First collected: 2026-09-20T01:21:06.728Z. This is not the publication date.