Dataset · Hugging Face

Isotonic/symbolic_data_first_order_logic

Name: symbolic_data_first_order_logic
Creator: Isotonic
Keywords: language:en, size_categories:100K<n<1M, format:parquet, modality:text, library:datasets, library:pandas, library:mlcroissant, library:polars, region:us

Dataset Card for "symbolic_data_first_order_logic" More Information needed

View on Hugging FaceReport an issue

Author / organization	Isotonic
Downloads	171 (as reported by Hugging Face)
Likes	4
Created	26 October 2024
Last updated at source	7 November 2024

Embed this entry

<iframe src="https://silytics.si/embed/item/04825ec8-33a9-4dc6-8193-844d9e40fef0" width="420" height="190" style="border:0" loading="lazy" title="Silytics entry"></iframe>

Free, no tracking. More about feeds and embeds.

Popularity, last 2 days

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

More from Isotonic

Isotonic/SlimOrcaDataset
Isotonic/pii-masking-200kDataset
Isotonic/human_assistant_conversationDataset
Isotonic/dol-phiDataset

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