Skip to content

Spec B: shard and verify an official ChaosNLI split#13

Merged
AMBRA7592 merged 3 commits into
mainfrom
codex/chaosnli-sharding-part3a
Jul 18, 2026
Merged

Spec B: shard and verify an official ChaosNLI split#13
AMBRA7592 merged 3 commits into
mainfrom
codex/chaosnli-sharding-part3a

Reports: record official ChaosNLI SNLI run

cf3909a
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
run all proofs (py 3.12)
succeeded Jul 18, 2026 in 10s