Tree-Structure CNN for Automated Theorem Proving - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Kebin Peng, Dianfu Ma. Tree-Structure CNN for Automated Theorem Proving. In Derong Liu, Shengli Xie, Yuanqing Li, Dongbin Zhao, El-Sayed M. El-Alfy, editors, Neural Information Processing - 24th International Conference, ICONIP 2017, Guangzhou, China, November 14-18, 2017, Proceedings, Part II. Volume 10635 of Lecture Notes in Computer Science, pages 3-12, Springer, 2017. [doi]

This author has not been identified. Look up 'Kebin Peng' in GoogleThis author has not been identified. Look up 'Dianfu Ma' in Google

runs on WebDSL