datasets
Training and evaluation data, with the modality, task and licence stated up front. Listed live from the Hugging Face Hub.
circle-packing-insight-loop
Circle-Packing Insight-Exploration Loop
Artifacts from an iterative GPT solver <-> proposer insight-exploration loop on the
21-circles-in-a-perimeter-4-rectangle packing problem (AlphaEvolve SOTA sum-of-radii
= 2.3658321334167627). Each round, 16 solvers propose a program + written explanation;
every program is scored; a proposer then mines all 16 attempts into an evolving insight
document that conditions the next round. Run: 16 solvers x 8 rounds.
Subsets… See the full description on the dataset page: https://huggingface.co/datasets/ars22/circle-packing-insight-loop.behavioral-loops
Behavioral Loops
1,140 behavioral patterns across 279 categories, each structured as given/when/then/result logic with taxonomy classification, veracity scores, and intervention strategies.
Quick Start
from datasets import load_dataset
ds = load_dataset("buley/behavioral-loops")
print(ds["train"][0])
Structure
Field
Description
given
Initial condition or context
when
Trigger event
then
Resulting behavior
result
Long-term outcome
origin… See the full description on the dataset page: https://huggingface.co/datasets/buley/behavioral-loops.reform-dafny-loop-inv-gen
ReForm Dafny Loop-Invariant Infill
A derived, narrower-task version of Veri-Code/ReForm-Python2Dafny-Dataset and Veri-Code/ReForm-DafnyComp-Benchmark, targeting loop-invariant synthesis specifically, rather than "fill in all missing annotations."
What it is
Each row is a (modified_input, output) pair where:
output is a complete, Dafny-verified program (confirmed via a real dafny verify pass, not just parsing — see below).
modified_input is the same program with… See the full description on the dataset page: https://huggingface.co/datasets/ThuraAung1601/reform-dafny-loop-inv-gen.LoopHard
LoopHard
LoopHard is a held-out benchmark of 285 English enumeration prompts designed to
measure futile reasoning loops in thinking models. The primary metric is
judged loops: the percentage of traces that end while still repeating the
same recall, verification, or enumeration cycle without adding or settling
information.
Long or systematic reasoning is not automatically a loop. A verification pass
that converges is not a loop, and a trace that breaks out of a loop on its own
is… See the full description on the dataset page: https://huggingface.co/datasets/N8Programs/LoopHard.york-milestone-project-self-traing-loop-data
York Milestone Project Self-Training Loop — Phase 1 Preferences
Status and access restrictions
This repository contains the frozen historical Phase 1 preference corpus used
by the York milestone self-training-loop project. It is not a Phase 2
leakage-safe training release.
Keep the repository private unless and until the upstream dataset licences,
document-level redistribution rights, privacy/PII review, and generated-content
policy review have all been completed.… See the full description on the dataset page: https://huggingface.co/datasets/geyuxu/york-milestone-project-self-traing-loop-data.loop-qwen-v8-sft
loop-qwen-v8 SFT dataset (Gemini insulin-control distillation)
8,222 chat-format examples used to SFT loop-qwen-v8 (Qwen3-4B insulin
controller distilled from Gemini-3-flash-preview). Each example is a closed-loop
dosing decision.
Format (JSONL, one chat per line)
system: controller spec (IOB-aware, Chain-of-Draft reason-before-act)
user: patient metadata (age, weight, TDD, CF, IC, basal) + 6h history of CGM / insulin / carbs, as JSON
assistant: JSON… See the full description on the dataset page: https://huggingface.co/datasets/jxx123/loop-qwen-v8-sft.ptdbench-data-format-task-agent-loop-022-llama-dapo-math-dataset
PTDBench dataset snapshot: task_agent_loop_022-llama-dapo-math
This repository stores the immutable runtime dataset snapshot for one
materialized PTDBench task. It intentionally excludes model weights and
training checkpoints.
PTDBench family: data_format
Source evaluation metric: val-core/math_dapo/reward/mean@1
Provenance: Processed from BytedTsinghua-SIA/DAPO-Math-17k; task-specific bytes are pinned.
License: Apache-2.0
The artifact manifest records every hydrated runtime… See the full description on the dataset page: https://huggingface.co/datasets/LIF1014/ptdbench-data-format-task-agent-loop-022-llama-dapo-math-dataset.agent_infinite_planning_loop_terminator_teaser
🚀 AI Safety - Agent Infinite Planning Loop & Self-Recursion Terminator (Evaluation Teaser)
⚡ Official Free Evaluation Teaser (50 Verified Multi-Turn Scenarios)🏆 Get the Full Production Package (500 Samples) & Commercial EULA on Gumroad:👉 Purchase Full Production Master Dataset on Gumroad🏷️ Use coupon code LAUNCH20 for 20 € off at checkout!
🌟 Domain Focus & Capabilities
Terminates runaway reasoning loops, cyclic tool-call recursion, and infinite reflection… See the full description on the dataset page: https://huggingface.co/datasets/emgena/agent_infinite_planning_loop_terminator_teaser.