| { | |
| "source": "steps + mined v5", | |
| "stats": { | |
| "pairs": 136374, | |
| "skipped_traced": 21438, | |
| "skipped_empty": 0, | |
| "skipped_long_state": 250, | |
| "truncated": 352, | |
| "dedup_base": 152, | |
| "dedup_mined": 137, | |
| "added": 131669, | |
| "repair": 17272, | |
| "dev": 2324 | |
| }, | |
| "ctx": 768, | |
| "n_train": 317492, | |
| "n_dev": 6165, | |
| "total_tokens_train": 54542464 | |
| } |