TY - RPRT TI - Circuit metaconstruction in logspace for Rice-like complexity lower bounds in ANs and SGRs AU - Aliénor Goubault-Larrecq AU - Kévin Perrot PY - 2025 UR - https://arxiv.org/abs/2504.11348 ID - 2504.11348 ER -