Statistical Guarantees for Reasoning Probes on Looped Boolean Circuits
arXiv:2602.03970v2 Announce Type: replace Abstract: We study the statistical behaviour of reasoning probes in a stylized model of looped reasoning, given by Boolean circuits whose computational graph is a perfect $nu$-ary tree ($nuge 2$) and whose output is appended to the input and fed back iteratively for subsequent computation rounds. A reasoning probe has access to a sampled subset of internal computation nodes, possibly without covering the entire graph, and seeks to infer which $nu$-ary Boolean gate is […]