Datasets:

math-ai
/

AutoMathText

Tasks:

Text Generation

Question Answering

Modalities:

Languages:

Size:

ArXiv:

Tags:

mathematical-reasoning

License:

Dataset card Data Studio Files Files and versions

AutoMathText / data /code /lean_proofsteps /0.35-0.40.jsonl

yifAI's picture

Add code data

8a06b25 over 2 years ago

History Blame Contribute Delete

41.5 MB

This file is stored with Xet . It is too big to display, but you can still download it.

Xet Pointer Details

( Raw pointer file )

Xet hash:: 34609de1de9f5e31f1bffa166c076fcbe588732f6efce25b77c2b83b73257c4e
Size of remote file:: 41.5 MB
SHA256:: a0e2289baa5fb8161b8d2dfafc915f230dc69a48b7964e2200b484f020993a56

Xet efficiently stores Large Files inside Git, intelligently splitting files into unique chunks and accelerating uploads and downloads. More info.