TY - RPRT TI - Near-Maximum Circuit Lower Bounds for Exponential Time with Merlin-Arthur Queries AU - Hanlin Ren AU - Ryan Williams PY - 2026 UR - https://arxiv.org/abs/2607.09963 ID - 2607.09963 ER -