Hierarchical Attention Generates Better Proofs

Open in new window