H. Wang, “A GRU-Based SAT Phase Prediction Algorithm”, AJAS, vol. 1, no. 3, pp. 99–105, May 2026, doi: 10.54097/x1b41686.