Liao Zhang, Lasse Blaauwbroek, Cezary Kaliszyk, Josef Urban. Learning Proof Transformations and Its Applications in Interactive Theorem Proving. In Uli Sattler, Martin Suda 0001, editors, Frontiers of Combining Systems - 14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20-22, 2023, Proceedings. Volume 14279 of Lecture Notes in Computer Science, pages 236-254, Springer, 2023. [doi]
Abstract is missing.