Learning Conjecturing from Scratch