From your linked article, it seems they just use the trees to generate prefix no...

		n-m-j on May 26, 2020 \| parent \| context \| favorite \| on: Symbolic mathematics finally yields to neural netw... From your linked article, it seems they just use the trees to generate prefix notation.