“USING AND ANALYSIS OF FORMAL METHODS FOR EVALUATING THE RELEVANCE OF AUTOMATICALLY GENERATED SUMMARIES OF INFORMATIONAL TEXTS”. Advanced Information Technology, no. 1(3), Dec. 2024, pp. 31-46, https://doi.org/10.17721/AIT.2024.1.04.