M. Olsák

Artificial Intelligence · 2018–2021

A researcher in the Science corpus: 2 papers; trusts 5 researchers and is trusted by 3 researchers here, as inferred from the citation graph.

Subfields

• Artificial Intelligence — 19 citations into it; #24,679 of 35,345 by trust here, #23,077 by citations
• Reinforcement Learning — 6 citations into it; #1,697 of 2,242 by trust here, #1,844 by citations

Whom M. Olsák trusts overall

Their strongest outbound trust, strongest first, inferred from their citations.

1. Daniel Whalen

Who trusts M. Olsák overall

1. Jia Deng
2. Mingzhe Wang
3. Kaiyu Yang

Papers from M. Olsák's perspective

Ordered by how strongly the researchers M. Olsák trusts endorse each paper. Same corpus, a different order for every researcher.

1. Mastering the game of Go with deep neural networks and tree search
2. Mastering the game of Go without human knowledge
3. Bandit Based Monte-Carlo Planning
4. DeepMath - Deep Sequence Models for Premise Selection
5. Mizar in a Nutshell
6. Scikit-learn: Machine Learning in Python
7. Holophrasm: a neural Automated Theorem Prover for higher-order logic
8. TensorFlow: Large-Scale Machine Learning on Heterogeneous Distributed Systems
9. Thinking Fast and Slow with Deep Learning and Tree Search
10. Satisfiability Modulo Theories

Their papers

• Reinforcement Learning of Theorem Proving (2018) — 161 citations
• Fast and Slow Enigmas and Parental Guidance (2021) — 12 citations