ML-Guided Beam Search for Differential Trail Discovery in SPN Ciphers: A Case Study on GIFT-64. - Alireza Gholizadeh Shahrbejari; Reza Ebrahimi Atani (IACR Cryptol. ePrint Arch., 2025)