Götz, Gerhard

1 publications

TMLR 2025 Identifying Axiomatic Mathematical Transformation Steps Using Tree-Structured Pointer Networks Sebastian Wankerl, Jan Pfister, Andrzej Dulny, Gerhard Götz, Andreas Hotho