Cezary Kaliszyk
Artificial Intelligence · 2015–2018
A researcher in the Science corpus: 6 papers; trusts 27 researchers and is trusted by 13 researchers here, as inferred from the citation graph.
Subfields
- Artificial Intelligence — 54 citations into it; #12,888 of 35,345 by trust here, #13,544 by citations
- Computational Theory and Mathematics — 22 citations into it; #3,850 of 12,182 by trust here, #2,489 by citations
- Computer Vision and Pattern Recognition — 12 citations into it
- Program Analysis & Verification — 12 citations into it
- Reinforcement Learning — 11 citations into it; #1,696 of 2,242 by trust here, #1,844 by citations
- Economics and Econometrics — 8 citations into it
- Optimization & Training — 6 citations into it
- Management Science and Operations Research — 5 citations into it
Whom Cezary Kaliszyk trusts overall
Their strongest outbound trust, strongest first, inferred from their citations.
- Levente Kocsis
- Daniel Whalen
- David Silver
- Tianqi Chen
- Frank Hutter
- Csaba Szepesvari
- J. Otten
- Michael Färber
- Diederik P. Kingma
- Geoffrey E. Hinton
Who trusts Cezary Kaliszyk overall
- Kaiyu Yang
- Jia Deng
- Mingzhe Wang
- Kshitij Bansal
- Yuhuai Wu
- Jacob William Crandall
- Sarah M. Loos
- Albert Qiaochu Jiang
- Ibrahim Abdelaziz
- Markus Norman Rabe
Papers from Cezary Kaliszyk's perspective
Ordered by how strongly the researchers Cezary Kaliszyk trusts endorse each paper. Same corpus, a different order for every researcher.
- ImageNet classification with deep convolutional neural networks
- Deep Residual Learning for Image Recognition (Computer Vision and Pattern Recognition)
- Adam: A Method for Stochastic Optimization (International Conference on Learning Representations)
- Gradient-based learning applied to document recognition
- Long Short-Term Memory
- Attention is All you Need (Neural Information Processing Systems)
- Going deeper with convolutions
- ImageNet: A large-scale hierarchical image database
- Learning Multiple Layers of Features from Tiny Images
- Batch Normalization: Accelerating Deep Network Training by Reducing Internal Covariate Shift (International Conference on Machine Learning)
Their papers
- Deep Network Guided Proof Search (2017) — 169 citations
- Reinforcement Learning of Theorem Proving (2018) — 161 citations
- Linear Programming (2018) — 1,607 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