Spatial Graph Convolutional Networks
Attributed to:
Machine Learning in Automated Theorem Proving
funded by
NERC
Abstract
No abstract provided
Bibliographic Information
Digital Object Identifier: http://dx.doi.org/10.1007/978-3-030-63823-8_76
Publication URI: http://dx.doi.org/10.1007/978-3-030-63823-8_76
Type: Book Chapter
Book Title: Neural Information Processing - 27th International Conference, ICONIP 2020, Bangkok, Thailand, November 18-22, 2020, Proceedings, Part V (2020)
Page Reference: 668-675
ISSN: 1773-0155