タグ #HyperTree Proof Search に関するスライド

slide-thumbnail

【DL輪読会】HyperTree Proof Search for Neural Theorem Proving
deep learning
user-img Deep Learning JP 245