NaturalProofs
事前学習用データセット
URL
https://github.com/wellecks/naturalproofs
サイズ
不明
ライセンス
MIT License
カテゴリー
数学