Braun, Andreas P., Kimura, Yusuke, Watari, Taizan, "The Noether-Lefschetz problem and gauge-group-resolved landscapes: F-theory on K3 $$ K3 as a test case", Journal of High Energy Physics, 2025