title: Predicting SMT-formula Satisfiability with Neural Networks
metadata.name: dc.contributor.advisor
metadata.value: Ковальчук Сергей Валерьевич
metadata.lang: ru_RU
metadata.name: dc.contributor.advisor
metadata.value: Kovalcuk Sergej Valerevic
metadata.lang: en_GB
metadata.name: dc.contributor.author
metadata.value: Остапенко Степан Сергеевич
metadata.lang: ru_RU
metadata.name: dc.contributor.author
metadata.value: Ostapenko Stepan Sergeevic
metadata.lang: en_GB
metadata.name: dc.contributor.editor
metadata.value: Шалымов Дмитрий Сергеевич
metadata.lang: ru_RU
metadata.name: dc.contributor.editor
metadata.value: Salymov Dmitrij Sergeevic
metadata.lang: en_GB
metadata.name: dc.date.accessioned
metadata.value: 2024-07-25T11:49:30Z
metadata.lang: -
metadata.name: dc.date.available
metadata.value: 2024-07-25T11:49:30Z
metadata.lang: -
metadata.name: dc.date.issued
metadata.value: 2024
metadata.name: dc.identifier.other
metadata.value: 085005
metadata.lang: en_GB
metadata.name: dc.identifier.uri
metadata.value: http://hdl.handle.net/11701/46171
metadata.lang: -
metadata.name: dc.description.abstract
metadata.value: В работе была предпринята попытка разработать нейронную сеть, которая могла бы предсказывать то, является данная SMT-формула выполнимой или нет, и выдавать степень уверенности в своём предсказании.
metadata.lang: ru_RU
metadata.name: dc.description.abstract
metadata.value: This work is about an attempt to create a neural network, that could predict SMT-formula satisfiability and provide confidence level for its prediction.
metadata.lang: en_GB
metadata.name: dc.language.iso
metadata.value: ru
metadata.name: dc.subject
metadata.value: нейронные сети
metadata.lang: ru_RU
metadata.name: dc.subject
metadata.value: глубокое обучение
metadata.lang: ru_RU
metadata.name: dc.subject
metadata.value: машинное обучение
metadata.lang: ru_RU
metadata.name: dc.subject
metadata.value: SMT-формулы
metadata.lang: ru_RU
metadata.name: dc.subject
metadata.value: SMT-решатели
metadata.lang: ru_RU
metadata.name: dc.subject
metadata.value: neural networks
metadata.lang: en_GB
metadata.name: dc.subject
metadata.value: deep learning
metadata.lang: en_GB
metadata.name: dc.subject
metadata.value: machine learning
metadata.lang: en_GB
metadata.name: dc.subject
metadata.value: SMT-formulas
metadata.lang: en_GB
metadata.name: dc.subject
metadata.value: SMT-solvers
metadata.lang: en_GB
metadata.name: dc.title
metadata.value: Predicting SMT-formula Satisfiability with Neural Networks
metadata.lang: en_GB
metadata.name: dc.title.alternative
metadata.value: Проверка выполнимости SMT-формул с помощью нейронных сетей
metadata.lang: ru_RU
resources.filename: st085005.pdf
resources.url: https://dspace.spbu.ru/bitstream/11701/46171/2/st085005.pdf
resources.format: Adobe PDF
resources.description: Article
resources.size: 1,28 MB
resources.filename: reviewSV_Otzyv_Ostapenko.docx
resources.url: https://dspace.spbu.ru/bitstream/11701/46171/3/reviewSV_Otzyv_Ostapenko.docx
resources.format: Microsoft Word XML
resources.description: ReviewSV
resources.size: 15,96 kB