TacticZero: Learning to Prove Theorems from Scratch with Deep Reinforcement Learning - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Minchao Wu, Michael Norrish, Christian Walder, Amir Dezfouli. TacticZero: Learning to Prove Theorems from Scratch with Deep Reinforcement Learning. In Marc'Aurelio Ranzato, Alina Beygelzimer, Yann N. Dauphin, Percy Liang, Jennifer Wortman Vaughan, editors, Advances in Neural Information Processing Systems 34: Annual Conference on Neural Information Processing Systems 2021, NeurIPS 2021, December 6-14, 2021, virtual. pages 9330-9342, 2021. [doi]

This author has not been identified. Look up 'Minchao Wu' in GoogleThis author has not been identified. Look up 'Michael Norrish' in GoogleThis author has not been identified. Look up 'Christian Walder' in GoogleThis author has not been identified. Look up 'Amir Dezfouli' in Google

runs on WebDSL