Using sequence to sequence neural networks for solving similar mathematical problems
Ali Davody, Mihai Sebastian Baba
Working Papers and Documents of the IJCAI-ECAI-2018 Workshop on Learning and Reasoning: Principles & Applications to Everyday Spatial and Temporal Knowledge: L & R - 2018 (2018) .
2018
Full text: http://www.iiia.csic.es/LR2018/files/LR2018-proceedings-V2-small.pdf
Abstract
Deep neural networks have enjoyed great success in recognizing patterns among large datasets. On the
other hand, proofs of lots of mathematical theorems are very similar to each other. In this paper, by representing
problems as directed graphs, we provide a concrete definition of similarity notion between problems. Then we examine the performance of deep sequential models to predicting solutions of similar mathematical problems.
Notice: Undefined index: publicationsCaching in /www/html/epistemio/application/controllers/PublicationController.php on line 2240
Share comment