Towards Formula Translation using Recursive Neural Networks | Read Paper on Bytez