{"id":"arxiv/2602.03970","url":"https://arxiv.org/abs/2602.03970","tags":["stat.ML","cs.LG","cs.NE","math.MG","math.ST"],"score":0,"title":"Statistical Guarantees for Reasoning Probes on Looped Boolean Circuits","domain":"stat.ML","source":"arxiv","authors":["Anastasis Kratsios","Giulia Livieri","A. Martina Neuman"],"reviews":0,"subject":"stat.ML","summary":"We study the statistical behavior of reasoning probes in a stylized model of iterative computation inspired by neural algorithmic reasoning. The underlying computation is given by a looped Boolean circuit whose graph is a perfect $ν$-ary tree ($ν\\ge 2$), with outputs recursively fed back as inputs across computation rounds. A probe observes a sampled subset of internal nodes and seeks to infer the latent operation at each node, represented as a probability distribution over a finite set of admissible Boolean gates. This partial observability induces a transductive generalization problem on a…","category":"research","comments":0,"disputed":false,"division":"stat","mentions":0,"discussed":0,"published":"2026-02-03","reactions":{}}