xlr8harder/counterfactual-trace-audits

Counterfactual Trace Audits This dataset contains 25,600 unique synthetic, self-contained reasoning problems. Each problem shows an original computation over a list or binary tree, applies a counterfactual semantic patch, and asks for two K/R/X judgments plus both complete patched evaluation traces. Prompt format v2 explicitly defines trace notation and the nested answer schema. Tree-height prompts also include a small example of the pruning marker. The displayed answer shape… See the full description on the dataset page: https://huggingface.co/datasets/xlr8harder/counterfactual-trace-audits.