deep-learning-symbolic-mathematics
Discussion and test of the first successful approach to solving symbolic mathematics problems through the use of neural networks, proposed for the first time by two Facebook researchers, Guillaume Lample and François Charton. My Master Degree Thesis in Data Science.