AUTHOR
No models indexed under this account. Publishes 1 alignment dataset (323 downloads) tracked in our /datasets catalog.
Alignment datasets by
Datasets this account has published in categories the catalog tracks: extraction pairs, ablation corpora, healing preference sets, evaluation benchmarks, uncensored SFT corpora, and related material. Category badges link to the workflow stage.
Dataset
Stage
Downloads
Likes
trojanspec-bench 0 0
TrojanSpec-Bench v4
1024 verifier-admitted adversarial formal specifications across Dafny,
Lean 4, and Verus - a benchmark for evaluating...
323
-
Dataset
Stage
Downloads
Likes
trojanspec-bench 0 0
TrojanSpec-Bench v4
1024 verifier-admitted adversarial formal specifications across Dafny,
Lean 4, and Verus - a benchmark for evaluating...
323
-
Dataset
Stage
Downloads
Likes
trojanspec-bench 0 0
TrojanSpec-Bench v4
1024 verifier-admitted adversarial formal specifications across Dafny,
Lean 4, and Verus - a benchmark for evaluating...
323
-