Using sequence to sequence neural networks for solving similar mathematical problems

,

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) .


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.



Add your rating and review

If all scientific publications that you have read were ranked according to their scientific quality and importance from 0% (worst) to 100% (best), where would you place this publication? Please rate by selecting a range.


0% - 100%

This publication ranks between % and % of publications that I have read in terms of scientific quality and importance.


Keep my rating and review anonymous
Show publicly that I gave the rating and I wrote the review