TY - RPRT TI - Intermediate models with deep failure of choice AU - Yair Hayut AU - Assaf Shani PY - 2024 UR - https://arxiv.org/abs/2407.02033 ID - 2407.02033 ER -