Automated proof synthesis for propositional logic with deep neural networks

30 May 2018

Papers citing "Automated proof synthesis for propositional logic with deep neural networks"

1 / 1 papers shown

Title
Google's Neural Machine Translation System: Bridging the Gap between Human and Machine Translation Yonghui Wu M. Schuster Z. Chen Quoc V. Le Mohammad Norouzi ... Alex Rudnick Oriol Vinyals G. Corrado Macduff Hughes J. Dean AIMat 716 6,746 0 26 Sep 2016