Transformer Models in Education: Summarizing Science Textbooks with AraBART, MT5, AraT5, and mBART