NIPS Proceedingsβ

Josef Urban

2 Papers

  • Reinforcement Learning of Theorem Proving (2018)
  • DeepMath - Deep Sequence Models for Premise Selection (2016)