| Date of Award | 2020 |
|---|---|
| Original language | English |
| Supervisor | Jim W. Portegies (Supervisor 1) & Christopher Hojny (Supervisor 2) |
Reinforcement Learning for Interactive Theorem Proving: Creating an Artificial Student
Student thesis: Bachelor