Learning Conjecturing from Scratch.

Thibault Gauthier, Josef Urban

Browse the full CADE paper archive.