5,505,225 AI resources indexedWorking toward the world’s largest AI resource index.

PDF

kurogane/metamath_ja_950_reka3flash

Other / unspecified task dataset published by kurogane. Languages: ja.

ORIGINAL PUBLISHER

Hugging Face activity

View original ↗
Likes
0
Monthly downloads
35
Publisher updated
Mar 15, 2025

Publisher figures recorded at the last intake. Likes and downloads are source activity, not a Mega AI Hub quality rating.

Resource information

Task
Other / unspecified task
Modality
text
Format
json
Dataset size
n<1K
Original repository
kurogane/metamath_ja_950_reka3flash
Credit basis
Hugging Face repository publisher; not a claim of individual authorship
Publisher
kurogane
Monthly upstream downloads
35
Hugging Face likes
0
Upstream last modified
Mar 15, 2025
Official website
https://huggingface.co/datasets/kurogane/metamath_ja_950_reka3flash
Languages
ja
Access
Public repository; original license and provider terms apply
Last checked
Nov 2, 2026
License
mit
Last record update
Nov 2, 2026