Google Research
Markus Rabe, Dennis Lee, Kshitij Bansal, Christian Szegedy
self-supervised learning;mathematics;reasoning;theorem proving;language modeling
Mathematical Reasoning via Self-supervised Skip-tree Training