ML Anthology

Jakubuv, Jan

1 publications

IJCAI 2025 Automated Strategy Invention for Confluence of Term Rewrite Systems Liao Zhang, Fabian Mitterwallner, Jan Jakubuv, Cezary Kaliszyk