Zhang, Liao

2 publications

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

NeurIPSW 2024 Transformers Are Efficient Compilers, Provably Xiyu Zhai, Runlong Zhou, Liao Zhang, Simon Shaolei Du