Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на этот документ:
https://elib.bsu.by/handle/123456789/341163Полная запись метаданных
| Поле DC | Значение | Язык |
|---|---|---|
| dc.contributor.author | Петров, С. В. | |
| dc.contributor.author | Кадан, А. М. | |
| dc.date.accessioned | 2026-02-05T11:05:04Z | - |
| dc.date.available | 2026-02-05T11:05:04Z | - |
| dc.date.issued | 2025 | |
| dc.identifier.citation | Информационные системы и технологии = Information Systems and Technologies : материалы XI Междунар. науч. конгр. по информатике (CSIST-2025), Респ. Беларусь, Минск, 29–31 окт. 2025 г. В 2 ч. Ч. 2 / Белорус. гос. ун-т ; редкол.: С. В. Абламейко (гл. ред.) [и др]. – Минск : БГУ, 2025. – С. 212-220. | |
| dc.identifier.isbn | 978-985-881-851-7 | |
| dc.identifier.isbn | 978-985-881-853-1 (ч. 2) | |
| dc.identifier.uri | https://elib.bsu.by/handle/123456789/341163 | - |
| dc.description | Раздел II. Нейронные сети и глубокое обучение | |
| dc.description.abstract | Большие языковые модели (LLM), несмотря на их впечатляющие способности, страдают от непредсказуемых логических ошибок, смысловых сдвигов и галлюцинаций. Первопричиной этого можно считать «динамически типизированный» характер рассуждений, где смысл понятий определяется из контекста, что аналогично ошибкам времени выполнения (runtime errors) в программировании. В работе вводится методология “Typed Prompting and Thinking”, которая использует строгую, статическую систему типов в процессе взаимодействия с LLM | |
| dc.language.iso | ru | |
| dc.publisher | Минск : БГУ | |
| dc.rights | info:eu-repo/semantics/openAccess | |
| dc.subject | ЭБ БГУ::ЕСТЕСТВЕННЫЕ И ТОЧНЫЕ НАУКИ::Кибернетика | |
| dc.title | Фреймворк на основе анализа размерностей для верифицируемых рассуждений LLM | |
| dc.title.alternative | A dimensional analysis framework for verifiable LLM reasoning / S. V. Petrov, A. M. Kadan | |
| dc.type | conference paper | |
| dc.description.alternative | Large language models (LLMs), despite their impressive capabilities, suffer from unpredictable logical errors, semantic shifts, and hallucinations. The root cause of this can be considered the "dynamically typed" nature of their reasoning, where the meaning of concepts is determined from context, which is analogous to runtime errors in programming. This paper introduces the "Typed Prompting and Thinking" methodology, which employs a strict, static type system during the interaction process with an LLM | |
| Располагается в коллекциях: | 2025. Информационные системы и технологии | |
Полный текст документа:
| Файл | Описание | Размер | Формат | |
|---|---|---|---|---|
| 212-220.pdf | 406,67 kB | Adobe PDF | Открыть |
Все документы в Электронной библиотеке защищены авторским правом, все права сохранены.