Wolfgang Windsteiger. Learning to Reason Assisted by Automated Reasoning. In Kevin Buzzard, Temur Kutsia, editors, Intelligent Computer Mathematics - 15th International Conference, CICM 2022, Tbilisi, Georgia, September 19-23, 2022, Proceedings. Volume 13467 of Lecture Notes in Computer Science, pages 305-320, Springer, 2022. [doi]
@inproceedings{Windsteiger22, title = {Learning to Reason Assisted by Automated Reasoning}, author = {Wolfgang Windsteiger}, year = {2022}, doi = {10.1007/978-3-031-16681-5_21}, url = {https://doi.org/10.1007/978-3-031-16681-5_21}, researchr = {https://researchr.org/publication/Windsteiger22}, cites = {0}, citedby = {0}, pages = {305-320}, booktitle = {Intelligent Computer Mathematics - 15th International Conference, CICM 2022, Tbilisi, Georgia, September 19-23, 2022, Proceedings}, editor = {Kevin Buzzard and Temur Kutsia}, volume = {13467}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-031-16681-5}, }