USING AND ANALYSIS OF FORMAL METHODS FOR EVALUATING THE RELEVANCE OF AUTOMATICALLY GENERATED SUMMARIES OF INFORMATIONAL TEXTS. СІТ [Internet]. 2024 Dec. 20 [cited 2026 Feb. 27];(1(3):31-46. Available from: https://ait.knu.ua/article/view/3978