Dataset · Hugging Face

U-WIN/sair-stage2-nl-verified

Name: sair-stage2-nl-verified
Creator: U-WIN
Keywords: task_categories:text-generation, language:en, size_categories:n<1K, format:parquet, modality:tabular, modality:text, library:datasets, library:pandas, library:polars, library:mlcroissant, region:us, mathematics, equational-theories, lean, evaluation

SAIR Stage 2: natural-language reference solutions 205 equational-implication problems with Lean-verified formal solutions and cross-model-reviewed natural-language translations. This is a derived, accepted-reference subset of SAIRfoundation/equational-theories-selected-problems, pinned to revision cf2e964ae911e21421bc9dbf7e28cc8df7291983. The test split contains 199 of the original 200 main questions and 6 of the 100 research questions. There are 99 TRUE implications and 106… See the full description on the dataset page: https://huggingface.co/datasets/U-WIN/sair-stage2-nl-verified.

View on Hugging FaceReport an issue

Author / organization	U-WIN
Downloads	198 (as reported by Hugging Face)
Likes	0
Created	29 September 2026
Last updated at source	8 October 2026

mathematicsequational-theoriesleanevaluationsyntheticnatural-language-proofs

Embed this entry

<iframe src="https://silytics.si/embed/item/05de26c1-0baa-40ce-a1ba-f141eaeeb356" width="420" height="190" style="border:0" loading="lazy" title="Silytics entry"></iframe>

Free, no tracking. More about feeds and embeds.

Popularity, last 4 days

198 now (+7 since 2026-10-16). Counts as reported by the source, snapshotted daily by Silytics.

More from U-WIN

U-WIN/equational-theory-sair-notesDataset

Silytics shows public metadata from Hugging Face and links to the original. Information may be incomplete or out of date. Last refreshed 19 October 2026. Licenses and terms of the original apply to the work itself. Not financial, legal or professional advice.