You can deploy this model and start earning money today!

iiis-lean/
NuminaMath-LEAN-Proof-Artifacts

Views

No views yet

	NuminaMath-LEAN Proof Artifacts




	
	Dataset Summary

This dataset provides proof-analysis artifacts derived from AI-MO/NuminaMath-LEAN. It is released with two aligned configs:

lite: dual-track proof validation/extraction artifacts full: all lite fields plus dual-track main-theorem structural artifacts

Both configs are aligned by sample identity (uuid, original_index) and processing order.

Config Overview

Use lite for overall tactic usage statistics (e.g.… See the full description on the dataset page: https://huggingface.co/datasets/iiis-lean/NuminaMath-LEAN-Proof-Artifacts.