datasets
Training and evaluation data, with the modality, task and licence stated up front. Listed live from the Hugging Face Hub.
Temporal-Logic-Video-Dataset
Temporal Logic Video (TLV) Dataset
Temporal Logic Video (TLV) Dataset
Synthetic and real video dataset with temporal logic annotation
Explore the GitHub »
NSVS-TL Project Webpage
·
NSVS-TL Source Code
Overview
The Temporal Logic Video (TLV) Dataset addresses the scarcity of state-of-the-art video datasets for long-horizon, temporally extended activity and object detection. It comprises two main components:
Synthetic… See the full description on the dataset page: https://huggingface.co/datasets/minkyuchoi/Temporal-Logic-Video-Dataset.logi_gluelsat_logic_games-analytical_reasoningNovel annotated evaluation dataset of LSAT logic games associated with paper:
Lost in the Logic: An Evaluation of Large Language Models’ Reasoning Capabilities on LSAT Logic Games
Arxiv: http://arxiv.org/pdf/2409.19012
If you find this dataset useful, please cite the paper!
@misc{malik2024lostlogicevaluationlarge,
title={Lost in the Logic: An Evaluation of Large Language Models' Reasoning Capabilities on LSAT Logic Games},
author={Saumya Malik},
year={2024}… See the full description on the dataset page: https://huggingface.co/datasets/saumyamalik/lsat_logic_games-analytical_reasoning.severity_ablation_logiclogical-entailmenthttps://github.com/google-deepmind/logical-entailment-dataset
@inproceedings{
evans2018can,
title={Can Neural Networks Understand Logical Entailment?},
author={Richard Evans and David Saxton and David Amos and Pushmeet Kohli and Edward Grefenstette},
booktitle={International Conference on Learning Representations},
year={2018},
url={https://openreview.net/forum?id=SkZxCk-0Z},
}
LogicalReasoning-hard-v2first_rag_db_manuel_config_trial
Atlas Hospital Türkçe Medikal RAG Deneyi
Bu depo, bir metni parçalama, parçaları gömme (embedding), ChromaDB'ye kaydetme ve benzerlik eşiğiyle cevaplanabilirlik kararı verme adımlarını uçtan uca göstermek için hazırlanmış bir ödev çalışmasıdır.
Kaynak veri, umutertugrul/turkish-hospital-medical-articles veri setindeki Atlas Hospital bölümüdür. Ham dosyada 130 makale bulunur; metne göre yinelenen iki kayıt çıkarıldığında 128 benzersiz makale işlenir.
Bu çalışma eğitim amaçlıdır.… See the full description on the dataset page: https://huggingface.co/datasets/logicBombExe/first_rag_db_manuel_config_trial.LogicalReasoning-hard-v1LogicMark
LogicMark
A procedurally generated benchmark for evaluating symbolic logic in language models. Each problem presents a set of variable equality/inequality premises and asks the model to identify which conclusion necessarily follows.
Unlike knowledge-based benchmarks, LogicMark contains no facts a model could have memorised from pretraining. Every problem is generated fresh from abstract variable names (a, b, c, ...), so a model cannot pattern-match to training data - it must… See the full description on the dataset page: https://huggingface.co/datasets/AxiomicLabs/LogicMark.LogicalReasoning-hard-v3Logical_Reasoning_Chainslogical-sata
LOGICAL-SATA
LOGICAL-SATA is a reading-comprehension benchmark for compound answer reasoning. Each instance has a paragraph, a question, and four candidate answer options. Every option joins two atomic answers under an explicit logical operator, AND, OR, or NEITHER/NOR. Exactly one option is valid per instance. The dataset is built to isolate logical composition from comprehension, so a model can get every atomic judgment right and still fail if it can't combine them correctly… See the full description on the dataset page: https://huggingface.co/datasets/ojayy/logical-sata.turkish_political_position_benchmark
Turkish Political Position Benchmark
The Turkish Political Position Benchmark measures how language models respond to normative statements about Turkish politics. It reports ideological dimension scores and response similarity to documented political-party reference profiles.
The benchmark does not claim that a model belongs to a party, has a voting intention, or possesses political beliefs. A party similarity score only means that the model produced a similar pattern of answers… See the full description on the dataset page: https://huggingface.co/datasets/logicBombExe/turkish_political_position_benchmark.judged_logic_completionsLogicalReasoning-hard-v5LogicHaystacks
Evaluation code:
def parse(x):
if '<answer>' in x and '</answer>' in x:
start = x.find('<answer>') + len('<answer>')
end = x.find('</answer>')
x = x[start:end]
lines = [i.lstrip('L').strip() for i in x.strip().strip('.').split(',')]
return [int(i) for i in lines if i.isnumeric()]
def jaccard(list1, list2):
intersection = len(list(set(list1).intersection(list2)))
union = (len(set(list1)) + len(set(list2))) - intersection
return… See the full description on the dataset page: https://huggingface.co/datasets/sileod/LogicHaystacks.formal-logic-simple-order-multi-token-dynamic-objects-paired-relationship-0-100000cot-logic-reasoningLogics-SWE-Env-2.5K
Logics-SWE-Env-2.5K
2,553 software engineering task instances · 1,771 repositories · 4 programming languages
🤗 Related model: Logics-SWE-Qwen3.6-27B
📄 Paper: One to More, More to One
Overview
What is this dataset?
Logics-SWE-Env-2.5K is a collection of repository-level software engineering tasks for research on coding agents and environment-based reinforcement learning. It contains 2,553 unique task instances from 1,771 GitHub repositories… See the full description on the dataset page: https://huggingface.co/datasets/Logics-MLLM/Logics-SWE-Env-2.5K.pick_and_place_260624_logicThis dataset was created using LeRobot.
Dataset Structure
meta/info.json:
{
"codebase_version": "v3.0",
"robot_type": "so_follower",
"total_episodes": 100,
"total_frames": 171313,
"total_tasks": 1,
"chunks_size": 1000,
"data_files_size_in_mb": 100,
"video_files_size_in_mb": 200,
"fps": 30,
"splits": {
"train": "0:100"
},
"data_path": "data/chunk-{chunk_index:03d}/file-{file_index:03d}.parquet",
"video_path":… See the full description on the dataset page: https://huggingface.co/datasets/SJun99/pick_and_place_260624_logic.syllogistic-logic
Dataset Summary
Syllogistic-logic is a synthetic dataset designed to evaluate the logical reasoning abilities of LLMs. It focuses on the task of logical premise selection — identifying the minimal set of premises in a knowledge base that entails a given hypothesis. The dataset is built on the syllogistic fragment of first-order logic and supports systematic generalization experiments, including generalization to unseen knowledge bases and reasoning with longer or shorter inference… See the full description on the dataset page: https://huggingface.co/datasets/leobertolazzi/syllogistic-logic.LogicBenchformal-logic-simple-order-multi-token-dynamic-objects-paired-relationship-0-40000LogicMind-Chat-Reasoning-SFT-300K
Nemotron-Post-Training-Dataset-v2-chat Dataset Card
Overview 📌
This dataset contains 296,168 chat-style instruction/response samples generated by qwen-3-32b. Each record provides a user prompt, an explicit reasoning trace, and a final answer, plus precomputed length fields. The data is packaged as JSONL (one JSON object per line).
Highlights
Scale: 296,168 samples
Category: chat (100%)
Generator: qwen-3-32b (100%)
Structure: problem → qwen3-reasoning → qwen3-solution… See the full description on the dataset page: https://huggingface.co/datasets/Jackrong/LogicMind-Chat-Reasoning-SFT-300K.formal-logic-simple-order-multi-token-fixed-objects-paired-relationship-0-40000logical-form-d87cef
logical-form-d87cef
Synthetic sensors test data: 50 rows in data.csv.
All values are randomly generated fictional examples, not real observations, products, or user activity. Intended only for CSV loading and pipeline tests; not suitable for scientific or business conclusions. Columns are sampled independently and do not model real-world correlations.
Fields
sample_id: random identifier for this generated sample.
row_id: sequential row number starting at 1.… See the full description on the dataset page: https://huggingface.co/datasets/Indigo-Patricia/logical-form-d87cef.reasoning-gym-logic-puzzle-datasetsAgarBadge_v1_4th_Thermal-Safety-Logic_42_20251203
AgarBadge_v1_4th_Thermal-Safety-Logic_42_20251203
This dataset was created using LeRobot.
gender_predictionlogical-deduction-filtered-qwen3-0.6b-no-think-2048