Formal verification of the properties of coreferent resolution model based on decision trees

• Published in: PROBLEMS IN PROGRAMMING
• Date: 2024
• Issue: 2-3
• Pages: 319-325
• ISSN: 1727-4907
• Author Affiliations: S.D. Pogorilyy — Kiev Taras Shevchenko National University — ORCID: 0000-0002-6497-5056; M. S. Slynko — Kiev Taras Shevchenko National University; P.V. Biletskyi — Kiev Taras Shevchenko National University
• Keywords: дерево рішень, метод дерев рішень, дерева прийняття рішень, класифікація текстів, large language models, кореферентність, пошук в дереві, класифікація обєктів, класифікація об’єктів, small language models
• Main Authors: Pogorilyy, S.D., Slynko, M. S., Biletskyi, P.V.
• Format: Article
• Language: Ukrainian
• Published: PROBLEMS IN PROGRAMMING 2024
• Subjects: artificial intelligence; natural language processing; coreference resolution; decision trees; transition systems; Buchi automata; UDC 004.8
• Online Access: https://pp.isofts.kiev.ua/index.php/ojs1/article/view/652
• Journal Title: Problems in programming

The paper examines the problem of coreference resolution, which involves identifying objects - words or phrases in a text, that refer to the same real or imaginary entity. The solution of this task is explored for Ukrainianlanguage texts using decision trees, which autonomously structure themselves...