AIAny
Icon for item

Recursive Task Synthesis

Provides 37,484 validated command-line tasks generated by recursive task synthesis, each paired with searchable metadata and a sanitized, runnable package (instructions, solution, verifier, and optional Dockerfile).

Introduction

Long-horizon terminal tasks are hard to assemble at scale because correct solutions, verifiers, and runnable environments must remain consistent. This dataset addresses that bottleneck by publishing 37,484 validated command-line task instances produced via recursive task synthesis and executable sandbox validation, giving researchers a large corpus of verifiable, runnable terminal tasks for agent training and evaluation.

What Sets It Apart
  • Verified runnable packages: each task is shipped with a sanitized runnable package (data shards of tasks-*.tar), a shard manifest, and searchable metadata rows (metadata/tasks.parquet) so tasks can be executed and validated in isolated sandboxes.
  • Complete metadata per task: searchable fields include instruction (instruction.md), task_toml, solution (solution/solve.sh) when present, and environment/Dockerfile when present — enabling automated dataset filtering and trial reproduction.
  • Recursive synthesis pipeline: tasks were generated by extending verified seed tasks through multiple synthesis rounds, producing increasingly long and complex reference solutions while maintaining end-to-end validation; this yields long-horizon workflows useful for training agents that must plan and execute many dependent shell commands.
  • Open license and reproducibility: published under CC BY 4.0 and packaged with checksums and TAR manifests to support reproducible downloads and sandboxed evaluation.
Who It's For and Trade-offs

Great fit if you need a large collection of verifiable command-line benchmarks for training or evaluating terminal agents, reinforcement-learning policies, or executor components of agents — especially when you require runnable tasks and metadata for automatic validation, trajectory collection, or curriculum construction. Look elsewhere if you need non-command-line modalities (e.g., purely visual or conversational tasks), human-curated natural tasks at scale (these are synthetically expanded from seeds), or if executing tasks in a sandboxed environment is impractical for your setup.

Where It Fits

Use this dataset as a source of long-horizon, executable training data for RL or agent fine-tuning (supervised or RL-based), for benchmarking terminal-agent capabilities, or for research into task generation and verifier design. Combine with trajectory-collection workflows to produce agent rollouts; pair with sandbox orchestration to ensure safe execution and validation.

Notes: dataset layout emphasizes two top-level components — metadata (metadata/tasks.parquet and metadata/shard_manifest.jsonl) for discovery and integrity, and data shards (data/tasks-*.tar) containing sanitized runnable packages — enabling both scale and reproducibility without exposing unsafe or unvetted artifacts.

Information

Categories

More Items

Hugging Face

Maps a state and question to typed probabilistic decisions (choice distributions, yes/no probabilities, or scored/ordinal outputs) across controlled synthetic tasks. Offers multiple frozen configs with train/calibration/validation/test/OOD splits, Parquet + raw JSONL exports, and reproducible manifests and provenance.

Provides a unified data and evaluation suite for measuring gameplay capabilities across short, medium, and long temporal horizons. Includes an automated annotator, a 5,000-hour AAA gameplay dataset with temporally aligned frames, actions and multi-horizon instructions, and a reproducible offline + stepwise online benchmark.

Hugging Face

Provides 1,274 hours of head-mounted egocentric video paired with seven-point IMU arm tracking (24 Hz orientation; raw accel/gyro/mag on a subset), packaged for embodied-AI and egocentric-vision research. Key features: torso-relative pose via chest reference, separate Parquet IMU repo for efficient joins, CC-BY-4.0 license; heavy class skew and limited contributor diversity are important constraints.