Optimizing Tensor Computation Graphs with Equality Saturation and Monte Carlo Tree Search. - Jakob Hartmann; Guoliang He; Eiko Yoneki (PACT, 2024)