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