USING AND ANALYSIS OF FORMAL METHODS FOR EVALUATING THE RELEVANCE OF AUTOMATICALLY GENERATED SUMMARIES OF INFORMATIONAL TEXTS. СІТ. 2024;(1(3):31-46. doi:10.17721/AIT.2024.1.04