Reinforcement Learning for Interactive Theorem Proving
: Creating an Artificial Student

Scriptie/Masterproef: Bachelor

Datum prijs2020
Originele taalEngels
BegeleiderJim W. Portegies (Afstudeerdocent 1) & Christopher Hojny (Afstudeerdocent 2)

Citeer dit

'