dataset
active
dataset:distributive-law-task-datasetDistributive Law Task Dataset
Synthetic task dataset for (x1==x2)∧(x3==x4) ∨ (x3==x4)∧(x5==x6); used in appendix experiments
dataset:distributive-law-task-datasetSynthetic task dataset for (x1==x2)∧(x3==x4) ∨ (x3==x4)∧(x5==x6); used in appendix experiments