Inventor1975/ztl-bounded-int-claims
Bounded-integer claims: TRUE, FALSE, or the bounds do not decide Each row is a small comparison over integer unknowns with stated bounds, for example x is an integer with 0 <= x <= 1000. Consider the claim: x == 1 - x. Answer TRUE if it holds for every such value, FALSE if it fails for every such value, or UNDETERMINED if it holds for some values and fails for others. Gold: FALSE — no integer equals one minus itself (the real number ½ would, but it is not admissible). The… See the full description on the dataset page: https://huggingface.co/datasets/Inventor1975/ztl-bounded-int-claims.
| Author / organization | Inventor1975 |
|---|---|
| License (as declared) | cc-by-4.0 |
| Downloads | 134 (as reported by Hugging Face) |
| Likes | 0 |
| Created | 25 September 2026 |
| Last updated at source | 25 September 2026 |
Popularity, last 4 days
134 now. Counts as reported by the source, snapshotted daily by Silytics.
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.