On Sub-Algorithm Selection for Symbolic Integration: An Empirical Comparison of TreeLSTM and Transformer.

Hao Du, Haochen Liu

Browse the full CASC paper archive.