HolStep: A Machine Learning Dataset for Higher-order Logic Theorem Proving - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Cezary Kaliszyk, François Chollet, Christian Szegedy. HolStep: A Machine Learning Dataset for Higher-order Logic Theorem Proving. In 5th International Conference on Learning Representations, ICLR 2017, Toulon, France, April 24-26, 2017, Conference Track Proceedings. OpenReview.net, 2017. [doi]

This author has not been identified. Look up 'Cezary Kaliszyk' in GoogleThis author has not been identified. Look up 'François Chollet' in GoogleThis author has not been identified. Look up 'Christian Szegedy' in Google

runs on WebDSL