datasets
Training and evaluation data, with the modality, task and licence stated up front. Listed live from the Hugging Face Hub.
clean_the_candy_1103LogosForge-scored-sft-v1
LogosForge-scored-sft-v1
This dataset is a scored Supervised Fine-Tuning (SFT) distillation corpus built on top of the Natural Reasoning question set.It is constructed in two stages:
First, a large-scale reasoning-oriented teacher model (gpt-oss-120B-high) is used to generate distilled student responses, including explicit chain-of-thought reasoning, for natural reasoning questions.
Second, these distilled responses are evaluated by a separate instruction-following model… See the full description on the dataset page: https://huggingface.co/datasets/Jackrong/LogosForge-scored-sft-v1.Logo-SemEval-2026-Task13stack_the_cup_1103lm-eval-results-RubielLabarta-LogoS-7Bx2-MoE-13B-v0.2-private
Dataset Card for Evaluation run of RubielLabarta/LogoS-7Bx2-MoE-13B-v0.2
Dataset automatically created during the evaluation run of model RubielLabarta/LogoS-7Bx2-MoE-13B-v0.2
The dataset is composed of 62 configuration(s), each one corresponding to one of the evaluated task.
The dataset has been created from 2 run(s). Each run can be found as a specific split in each configuration, the split being named using the timestamp of the run.The "train" split is always pointing to the… See the full description on the dataset page: https://huggingface.co/datasets/nyu-dice-lab/lm-eval-results-RubielLabarta-LogoS-7Bx2-MoE-13B-v0.2-private.pull_the_drawer_1104put_bottle_1026_03logos-corpus
Logos v1.0 Corpus
The training corpus for Logos — the first systems programming language built for AI, not borrowed from humans.
Logos v1.0 shipped 2026-05-21. This dataset is the curated corpus of .logos programs as of v1.0.0 — cookbook recipes, algorithm examples, standard library, and integration-test fixtures. Every program in this dataset:
Typechecks under logosc v1.0.0 (Hindley-Milner inference with effect inference + polymorphism)
Refinement contracts (where present) lower… See the full description on the dataset page: https://huggingface.co/datasets/byShammy/logos-corpus.RubielLabarta__LogoS-7Bx2-MoE-13B-v0.2-details
Dataset Card for Evaluation run of RubielLabarta/LogoS-7Bx2-MoE-13B-v0.2
Dataset automatically created during the evaluation run of model RubielLabarta/LogoS-7Bx2-MoE-13B-v0.2
The dataset is composed of 38 configuration(s), each one corresponding to one of the evaluated task.
The dataset has been created from 1 run(s). Each run can be found as a specific split in each configuration, the split being named using the timestamp of the run.The "train" split is always pointing to the… See the full description on the dataset page: https://huggingface.co/datasets/open-llm-leaderboard/RubielLabarta__LogoS-7Bx2-MoE-13B-v0.2-details.bowl_tcp_joint_1101_01_200details_RubielLabarta__LogoS-7Bx2-MoE-13B-v0.2
Dataset Card for Evaluation run of RubielLabarta/LogoS-7Bx2-MoE-13B-v0.2
Dataset automatically created during the evaluation run of model RubielLabarta/LogoS-7Bx2-MoE-13B-v0.2.
The dataset is composed of 136 configuration, each one coresponding to one of the evaluated task.
The dataset has been created from 1 run(s). Each run can be found as a specific split in each configuration, the split being named using the timestamp of the run.The "train" split is always pointing to the… See the full description on the dataset page: https://huggingface.co/datasets/OALL/details_RubielLabarta__LogoS-7Bx2-MoE-13B-v0.2.