publication venue for Supporting Teachers Through AI-Augmented Web Search for Educational Resource Discovery 2025