{"id":"arxiv/2607.01266","url":"https://arxiv.org/abs/2607.01266","tags":["math.LO","cs.LG","math.FA"],"score":0,"title":"Fast approximation and learning of binary classification tasks in o-minimal structures using ReLU neural networks","domain":"math.LO","source":"arxiv","authors":["Clemens Kinn","Philipp Petersen"],"reviews":0,"subject":"math.LO","summary":"We study binary classification problems whose decision sets are given by definable sets in o-minimal expansions of the real field. Motivated by cell decomposition of definable sets, we introduce traceable sets as a classical proxy for definable decision regions and analyze their approximation by ReLU neural networks. Under uniform bounds on the number of connected components and suitable $C^m$ extensions for the boundary functions, we prove that characteristic functions of traceable subsets of $[-1/2,1/2]^n$ can be approximated in $L^p$ to accuracy $\\varepsilon>0$ by ReLU neural networks of…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-06-29","reactions":{}}