Zobrazeno 1 - 4
of 4
pro vyhledávání: '"Kebin Peng"'
Publikováno v:
2022 26th International Conference on Pattern Recognition (ICPR).
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::01b0bffc2ecec88e587c257ac4d7534e
https://doi.org/10.1109/icpr56361.2022.9956096
https://doi.org/10.1109/icpr56361.2022.9956096
Publikováno v:
2022 IEEE/CVF Conference on Computer Vision and Pattern Recognition Workshops (CVPRW).
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::256840b98a6788414e62c12bb6b27e68
https://doi.org/10.1109/cvprw56347.2022.00036
https://doi.org/10.1109/cvprw56347.2022.00036
Publikováno v:
Proceedings of the 17th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::4fdb5704318067c4231703dc7bf26127
https://doi.org/10.5220/0010879800003124
https://doi.org/10.5220/0010879800003124
Autor:
Kebin Peng, Dianfu Ma
Publikováno v:
Neural Information Processing ISBN: 9783319700953
ICONIP (2)
ICONIP (2)
The most difficult and heavy work of Automated Theorem Proving (ATP) is that people should search in millions of intermediate steps to finish proof. In this paper, we present a novel neural network, which can effectively help people to finish this wo
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a02327a665305d1654cd4a13333896ec
https://doi.org/10.1007/978-3-319-70096-0_1
https://doi.org/10.1007/978-3-319-70096-0_1
