papers
Publications (8)
cs.AI2017
DeepMath - Deep Sequence Models for Premise Selection
Alex A. Alemi, Francois Chollet, Niklas Een +3
cs.AI2017
Deep Network Guided Proof Search
Sarah Loos, Geoffrey Irving, Christian Szegedy +1
stat.ML2018
AI safety via debate
Geoffrey Irving, Paul Christiano, Dario Amodei
cs.DC2014
Pentago is a First Player Win: Strongly Solving a Game Using Parallel In-Core Retrograde Analysis
Geoffrey Irving
cs.DC2016
TensorFlow: Large-Scale Machine Learning on Heterogeneous Distributed Systems
MartÃn Abadi, Ashish Agarwal, Paul Barham +37
cs.DC2016
TensorFlow: A system for large-scale machine learning
MartÃn Abadi, Paul Barham, Jianmin Chen +19
cs.CG2013
A deterministic pseudorandom perturbation scheme for arbitrary polynomial predicates
Geoffrey Irving, Forrest Green
cs.LG2018
Reward learning from human preferences and demonstrations in Atari
Borja Ibarz, Jan Leike, Tobias Pohlen +3