datasets
Training and evaluation data, with the modality, task and licence stated up front. Listed live from the Hugging Face Hub.
STDP-Dataset
STDP Dataset
This repository provides the data used to train, validate, and evaluate Signal
Temporal Logic-Guided Diffusion Policy (STDP) for UAV Visual Navigation without
Global Semantic Maps.
Dataset Contents
Each trajectory sample combines a temporal-logic navigation instruction,
multi-view visual observations, and a reference motion trajectory.
Component
Contents
Intended use
Semantic STL specification
Object-level temporal and logical constraints… See the full description on the dataset page: https://huggingface.co/datasets/bfz111/STDP-Dataset.Coq-Stdpp
Coq-Stdpp
Structured dataset of formalizations from the std++ library (used by Iris).
Source
Repository: https://gitlab.mpi-sws.org/iris/stdpp
Commit: dafbf9e8d890b6a602552bcdd229d17c7b6d8b5b
Files: 59
License: bsd-3-clause
Schema
Column
Type
Description
statement
string
Declaration signature/claim with the leading keyword removed (verbatim slice); the full declaration minus its proof
proof
string
Verbatim proof/body, empty if the… See the full description on the dataset page: https://huggingface.co/datasets/phanerozoic/Coq-Stdpp.stdp-ckpt