A Student-Teacher Reinforcement Learning Model for Automated Theorem Proving

  • Sean McCarren

Scriptie/Masterproef: Bachelor

Datum prijs2020
Originele taalEngels
BegeleiderJim W. Portegies (Afstudeerdocent 1)

Citeer dit

Documenten

'