Josef Urban
Artificial Intelligence · 2014–2021
A researcher in the Science corpus: 7 papers; trusts 28 researchers and is trusted by 11 researchers here, as inferred from the citation graph.
Subfields
- Artificial Intelligence — 60 citations into it; #11,147 of 35,345 by trust here, #11,490 by citations
- Computational Theory and Mathematics — 31 citations into it; #3,222 of 12,182 by trust here, #1,936 by citations
- Natural Language Processing — 18 citations into it; #2,885 of 5,688 by trust here, #3,014 by citations
- Program Analysis & Verification — 15 citations into it
- Reinforcement Learning — 11 citations into it; #1,698 of 2,242 by trust here, #1,844 by citations
- Computer Networks and Communications — 8 citations into it
- Economics and Econometrics — 7 citations into it
- Optimization & Training — 7 citations into it
Whom Josef Urban trusts overall
Their strongest outbound trust, strongest first, inferred from their citations.
- Xavier Leroy
- Levente Kocsis
- Norman D. Megill
- Pablo A. Parrilo
- Peter Dybjer
- Daniel Whalen
- David Silver
- Frank Hutter
- Gerwin Klein
- Niklas Eén
Who trusts Josef Urban overall
- Kaiyu Yang
- Mingzhe Wang
- Jia Deng
- Kshitij Bansal
- Yuhuai Wu
- Stanislas Polu
- Geoffrey Irving
- Sarah M. Loos
- Christian Szegedy
- Cezary Kaliszyk
Papers from Josef Urban's perspective
Ordered by how strongly the researchers Josef Urban trusts endorse each paper. Same corpus, a different order for every researcher.
- Long Short-Term Memory
- ImageNet classification with deep convolutional neural networks
- Deep Residual Learning for Image Recognition (Computer Vision and Pattern Recognition)
- Gradient-based learning applied to document recognition
- Adam: A Method for Stochastic Optimization (International Conference on Learning Representations)
- Learning Multiple Layers of Features from Tiny Images
- Attention is All you Need (Neural Information Processing Systems)
- Batch Normalization: Accelerating Deep Network Training by Reducing Internal Covariate Shift (International Conference on Machine Learning)
- ImageNet: A large-scale hierarchical image database
- Mastering the game of Go with deep neural networks and tree search
Their papers
- DeepMath - Deep Sequence Models for Premise Selection (2016) — 263 citations
- History of Interactive Theorem Proving (2014) — 94 citations
- Reinforcement Learning of Theorem Proving (2018) — 161 citations
- Fast and Slow Enigmas and Parental Guidance (2021) — 12 citations
- Monte Carlo Connection Prover (2016) — 5 citations
- Monte Carlo Tableau Proof Search (2016) — 15 citations
- A FORMAL PROOF OF THE KEPLER CONJECTURE (2015) — 523 citations