TY - RPRT TI - Downward self-reducibility in the total function polynomial hierarchy AU - Karthik Gajulapalli AU - Surendra Ghentiyala AU - Zeyong Li AU - Sidhant Saraogi PY - 2025 UR - https://arxiv.org/abs/2507.19108 ID - 2507.19108 ER -