author = {W. Windsteiger},
title = {{Learning to Reason Assisted by Automated Reasoning}},
language = {english},
year = {2022},
month = {September 22},
note = {Contributed talk at 15th Conference on Intelligent Computer Mathematics (CICM 2022)},
conferencename = {15th Conference on Intelligent Computer Mathematics (CICM 2022)}