TY - RPRT TI - On Higher Order Busy Beaver Function AU - Zining Cao PY - 2025 UR - https://arxiv.org/abs/2507.20321 ID - 2507.20321 ER -