datasets
Training and evaluation data, with the modality, task and licence stated up front. Listed live from the Hugging Face Hub.
pact
PACT: Can Enterprise AI Assistants Be Trusted Under Pressure?
PACT (Pressure-Applied Compliance Testing) is a benchmark of whether LLM
assistants keep following the compliance rules they are given once deployed in
a regulated workplace and something makes breaking the rule the convenient
choice: a deadline, a manager who says to make an exception, a peer who already
did it, or a user who argues back. Instead of asking a model whether it knows a
rule, every sample puts the model… See the full description on the dataset page: https://huggingface.co/datasets/trace-ai-labs/pact.pact-ctf-corpus
pact CTF Corpus
Formally-graded smart-contract CTF challenges, auto-generated and verified by the
pact pipeline.
How challenges are produced
Seed: a CORRECT, self-contained Solidity 0.8.x contract (token/vault-shaped).
Mutate: deterministic operator-level mutations (sol_mutate.py) — no LLM.
Grade: each mutant is checked against a templated conservation/solvency invariant
with Halmos (symbolic EVM, BitVec256). A mutant is kept as a CTF iff Halmos
produces a… See the full description on the dataset page: https://huggingface.co/datasets/qizwiz/pact-ctf-corpus.PACT-Socratic-Coding-Tutor
PACT: Personal AI Coding Tutor Dataset
Dataset Summary
The PACT (Personal AI Coding Tutor) dataset consists of 227 high-quality synthetic examples designed to fine-tune Large Language Models (LLMs) for Socratic pedagogy in computer science education.
Unlike standard coding datasets that pair problems with solutions, this dataset pairs realistic student errors with Socratic hints—guiding questions designed to lead the student to the answer without revealing it directly.… See the full description on the dataset page: https://huggingface.co/datasets/AndreiSobo/PACT-Socratic-Coding-Tutor.