Prolog Technology Reinforcement Learning Prover - (System Description).

Zsolt Zombori, Josef Urban, Chad E. Brown

Browse the full CADE paper archive.