Advancements in neural networks and computer hardware lead to new use cases for deep
learning in the natural sciences every day. Even though symbolic mathematics tasks have …