WEKO3
アイテム / Can an A.I. win a medal in the mathematical olympiad? : Benchmarking mechanized mathematics on pre-university problems / AIC-published-version
AIC-published-version
ファイル | ライセンス |
---|---|
AIC-published-version.pdf (540.8 kB) sha256 25c9cf4ee6c83cd16411594f39c6290c88229a5d1959ad949dbccad4c2c572f8 |
公開日 | 2018-09-11 | |||||
---|---|---|---|---|---|---|
ファイル名 | AIC-published-version.pdf | |||||
本文URL | https://nagoya.repo.nii.ac.jp/record/26359/files/AIC-published-version.pdf | |||||
ラベル | AIC-published-version | |||||
オブジェクトタイプ | fulltext | |||||
フォーマット | application/pdf | |||||
サイズ | 540.8 kB |
Version | Date Modified | Object File Name | File Size | File Hash Value | Contributor Name | Show/Hide |
---|