litex
Datasets
All datasets matching “litex”litex-math23k
Litex Math23K
This dataset contains 22,329 standalone Litex artifacts derived from Math23K
annotated equations. Each record stores a complete .lit file, its formal
goal, a proof-shape description, and a content hash.
The original Chinese questions and natural-language solutions are not included.
This is a formal-code corpus and verifier regression artifact, not a
redistribution of Math23K.
Verification boundary
Each artifact is a checkable calculation model. The… See the full description on the dataset page: https://huggingface.co/datasets/Sanyan/litex-math23k.litex-datalittle-little-o