11.
Szegedy, C. ✉
A promising path towards autoformalization and general artificial intelligence
LECTURE NOTES IN COMPUTER SCIENCE 12236 pp. 3-20. , 18 p. (2020)
DOI WoS Scopus
Központi kezelésű Közlemény:34996800 Egyeztetett Forrás Idéző Folyóiratcikk (Szakcikk ) Tudományos
Nyilvános idéző összesen: 8 | Független: 7 | Függő: 1 | Nem jelölt: 0 | WoS jelölt: 8 | Scopus jelölt: 1 | WoS/Scopus jelölt: 8 | DOI jelölt: 6 (Nem nyilvános: 1)
Szakcikk (Folyóiratcikk) | Tudományos[34996800] [Egyeztetett]
Nyilvános idéző összesen: 8, Független: 7, Függő: 1, Nem jelölt: 0
12.
Lee, D. ; Szegedy, C. ; Rabe, M.N. ; Loos, S.M. ; Bansal, K.
MATHEMATICAL REASONING IN LATENT SPACE
In: 8th International Conference on Learning Representations, ICLR 2020
International Conference on Learning Representations, ICLR (2020) pp. 1-10. , 10 p.
Scopus
Zárolt Közlemény:35516972 Admin láttamozott Forrás Egyéb konferenciaközlemény (Konferenciaközlemény ) Tudományos
Konferenciaközlemény (Egyéb konferenciaközlemény) | Tudományos[35516972] [Admin láttamozott]
13.
Cakaloglu, T. ; Szegedy, C. ; Xu, X.
Text Embeddings for Retrieval from a Large Knowledge Base
LECTURE NOTES IN BUSINESS INFORMATION PROCESSING 385 pp. 338-351. , 14 p. (2020)
DOI WoS Scopus
Központi kezelésű Közlemény:35516974 Egyeztetett Forrás Folyóiratcikk (Szakcikk ) Tudományos
Nyilvános idéző összesen: 2 | Független: 2 | Függő: 0 | Nem jelölt: 0 | WoS jelölt: 2 | Scopus jelölt: 1 | WoS/Scopus jelölt: 2 | DOI jelölt: 2
Szakcikk (Folyóiratcikk) | Tudományos[35516974] [Egyeztetett]
Nyilvános idéző összesen: 2, Független: 2, Függő: 0, Nem jelölt: 0
14.
Paliwal, A. ; Loos, S.M. ; Rabe, M.N. ; Bansal, K. ; Szegedy, C.
Graph representations for higher-order logic and theorem proving
In: Vincent, Conitzer; Fei, Sha (szerk.) Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, AAAI 2020
New York, Amerikai Egyesült Államok : AAAI Press (2020) pp. 2967-2974. , 8 p.
Scopus
Zárolt Közlemény:35516985 Egyeztetett Forrás Könyvrészlet (Konferenciaközlemény ) Tudományos
Konferenciaközlemény (Könyvrészlet) | Tudományos[35516985] [Egyeztetett]
15.
Kshitij, Bansal ; Szegedy, Christian
Learning alignment between formal & informal mathematics
In: Fifth Conference on Artificial Intelligence and Theorem Proving : Abstracts of the Talks
Aussois, Franciaország (2020) pp. 1-3. , 3 p.
Teljes dokumentum
Központi kezelésű Közlemény:35557903 Nyilvános Forrás Egyéb konferenciaközlemény (Absztrakt / Kivonat ) Tudományos
Absztrakt / Kivonat (Egyéb konferenciaközlemény) | Tudományos[35557903] [Nyilvános]
16.
Bansal, K. ; Loos, S. ; Rabe, M. ; Szegedy, C. ; Wilcox, S.
Holist: An environment for machine learning of higher-order theorem proving
In: IMLS (szerk.) 36th International Conference on Machine Learning (ICML 2019) Long Beach, California, USA, 9-15 June 2019. Part 5 of 19
Red Hook (NY), Amerikai Egyesült Államok : International Machine Learning Society (IMLS) (2019) 693 p. pp. 712-721. , 10 p.
Scopus
Zárolt Közlemény:35516978 Egyeztetett Forrás Könyvrészlet (Konferenciaközlemény ) Tudományos
Konferenciaközlemény (Könyvrészlet) | Tudományos[35516978] [Egyeztetett]
17.
Kshitij, Bansal ; Sarah, Loos ; Markus, Rabe ; Szegedy, Christian ; Stewart, Wilcox
HOList: An Environment for Machine Learning of Higher Order Logic Theorem Proving
In: Kamalika, Chaudhuri; Ruslan, Salakhutdinov (szerk.) 36th International Conference on Machine Learning (ICML 2019) Long Beach, California, USA, 9-15 June 2019 : Part 1 of 19
Red Hook (NY), Amerikai Egyesült Államok : Curran Associates Inc. (2019) 721 p. pp. 454-463. , 10 p.
Egyéb URL Teljes dokumentum
Zárolt Közlemény:35523520 Egyeztetett Forrás Egyéb konferenciaközlemény (Konferenciaközlemény ) Tudományos
Konferenciaközlemény (Egyéb konferenciaközlemény) | Tudományos[35523520] [Egyeztetett]
18.
Szegedy, Christian ; Vincent, O Vanhoucke ; Sergey, Ioffe
Image classification neural networks
10460211 , Benyújtás száma: 15395530 , Benyújtás országa: Amerikai Egyesült Államok
Zárolt Közlemény:35527046 Nyilvános Forrás Oltalmi formák (USA szabadalom ) Tudományos
USA szabadalom (Oltalmi formák) | Tudományos[35527046] [Nyilvános]
19.
Szegedy, Christian ; Ian, Goodfellow
Adversartail training of neural networks
10521718 , Benyújtás száma: 15279268 , Benyújtás országa: Amerikai Egyesült Államok
Egyéb URL
Zárolt Közlemény:35561821 Nyilvános Forrás Oltalmi formák (USA szabadalom ) Tudományos
USA szabadalom (Oltalmi formák) | Tudományos[35561821] [Nyilvános]
20.
Szegedy, Christian ; Dominik, Roblek ; Jacek, Slawosz Jurewicz
Object detection using neural network systems
10467493 , Benyújtás száma: 15650790 , Benyújtás országa: Amerikai Egyesült Államok
Zárolt Közlemény:35567239 Nyilvános Forrás Oltalmi formák (USA szabadalom ) Tudományos
USA szabadalom (Oltalmi formák) | Tudományos[35567239] [Nyilvános]
2026-01-18 05:01