| Date of Award | 2020 |
|---|---|
| Original language | English |
| Supervisor | Jim W. Portegies (Supervisor 1) |
A Student-Teacher Reinforcement Learning Model for Automated Theorem Proving
Student thesis: Bachelor