DeepMath - Deep Sequence Models for Premise Selection - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Geoffrey Irving, Christian Szegedy, Alexander A. Alemi, Niklas Eén, François Chollet, Josef Urban. DeepMath - Deep Sequence Models for Premise Selection. In Daniel D. Lee, Masashi Sugiyama, Ulrike V. Luxburg, Isabelle Guyon, Roman Garnett, editors, Advances in Neural Information Processing Systems 29: Annual Conference on Neural Information Processing Systems 2016, December 5-10, 2016, Barcelona, Spain. pages 2235-2243, 2016. [doi]

This author has not been identified. Look up 'Geoffrey Irving' in GoogleThis author has not been identified. Look up 'Christian Szegedy' in GoogleThis author has not been identified. Look up 'Alexander A. Alemi' in GoogleThis author has not been identified. Look up 'Niklas Eén' in GoogleThis author has not been identified. Look up 'François Chollet' in GoogleThis author has not been identified. Look up 'Josef Urban' in Google

runs on WebDSL