From categorized neural architectures to subexponential proof theory. - Carlos Ramírez Ovalle (CoRR, 2026)