TY - RPRT TI - Learning to Formulate: Agentic Hardware-Software Co-Design of AI Infrastructure through Progressive Optimization and Verification AU - Yi Ding AU - Li Shang PY - 2026 UR - https://arxiv.org/abs/2610.39380 ID - 2610.39380 ER -