Probabilistic Regular Tree Priors for Scientific Symbolic Reasoning