Gap-preserving reductions and RE-completeness of independent set games. - Laura Mancinska; Pieter Spaas; Taro Spirig (CoRR, 2025)