Formal verification of deep neural networks

Formal verification of deep neural networks

This paper introduces a method for the formal verification of neural networks using a Satisfiability Modulo Theories (SMT) solver. This approach enables the mathematical validation of specific neural network properties, enhancing their predictability. We propose a method for simplifying a neural net...

Повний опис

Збережено в:

Бібліографічні деталі
Дата:	2024
Автор:	Panchuk, B.O.
Формат:	Стаття
Мова:	Ukrainian
Опубліковано:	PROBLEMS IN PROGRAMMING 2024
Теми:	neural networks formal verification satisfiability modulo theories constraints satisfaction intrusion detection systems network traffic analysis UDC 004.415.52 004.89 004.492
Онлайн доступ:	https://pp.isofts.kiev.ua/index.php/ojs1/article/view/644
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Problems in programming
Завантажити файл:

Репозитарії

Problems in programming

Схожі ресурси

Approach to the building intelligent decision support systems on the basis of ontology
за авторством: Lytvyn, V.V.
Опубліковано: (2025)

Information system for hostilities mechanized forces modelling based on ontology
за авторством: Oborska, O.V.
Опубліковано: (2019)

Flow based bonet traffic detection using AI
за авторством: Panchuk, B.O.
Опубліковано: (2023)

Correctness Property Proof for the Banking System for Money Transfer Payments
за авторством: Ostapovska, Yu.A., та інші
Опубліковано: (2018)

Software package for adaptive training of robot controllers based on neural networks
за авторством: Vitiuk, A.Y., та інші
Опубліковано: (2023)

Peterson’s algorithm Total correctness proof in IPCL
за авторством: Zhygallo, A.A.
Опубліковано: (2018)

Features of building recommendation systems based on neural network technology using multithreading
за авторством: Komleva, N.O., та інші
Опубліковано: (2023)

About one Approach for the Verification of Algebraic Computations
за авторством: Lvov, M.S.
Опубліковано: (2025)

Static method of consistency and completeness checking in formal model of distributed software systems
за авторством: Kolchin, A.V., та інші
Опубліковано: (2025)

Features of implementation of simulation processes based on DATA FARMING methodologies
за авторством: Krikovlyuk, E.A., та інші
Опубліковано: (2015)

Forecasting electrical energy consumption for 24 hours ahead at country scale
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2024)

Method for political propaganda detection in internet content using neural network natural language processing tools
за авторством: Krak, Iu.V., та інші
Опубліковано: (2024)

DS-theory. Research of R-data division factors in order to generate applied algorithms. Part 1
за авторством: Kolesnyk, V.G.
Опубліковано: (2017)

Development of integrated system of scientific periodicals based on the OJS
за авторством: Kudim, K.A., та інші
Опубліковано: (2017)

Generation of multipurpose formal models from legacy code
за авторством: Potiyenko, S.V., та інші
Опубліковано: (2023)

Information technology to ensure the survivability of sensor networks
за авторством: Petrivskyi, V.Y., та інші
Опубліковано: (2022)

Sound interface design for blind PC users
за авторством: Ruvinskaya, V.M., та інші
Опубліковано: (2015)

Designing of the specialized computer system for making pulmonology diagnosis
за авторством: Komlevaya, N.O., та інші
Опубліковано: (2025)

Equivalence of two parallel execution systems
за авторством: Panchenko, T.V., та інші
Опубліковано: (2018)

Traversal of arbitrary sequences of UCM symbolic transitions for test generation
за авторством: Guba, A.A.
Опубліковано: (2025)

Regression testing: techniques and future research directions
за авторством: Moroz, H.B., та інші
Опубліковано: (2025)

Some aspects of software engineering for AI-based systems
за авторством: Liubchenko, V.V.
Опубліковано: (2023)

DS-theory. Presentation of canonical algorithm by means of algorithmic language
за авторством: Kolesnyk, V.G.
Опубліковано: (2017)

Machine learning methods analysis in the document classification problem
за авторством: Zhyrkova, A.P., та інші
Опубліковано: (2021)

Use of methods of algebraic programming for the formal verification of legal acts
за авторством: Peschanenko, V.S., та інші
Опубліковано: (2018)

Formal model of scientific publication
за авторством: Reznichenko, V.A., та інші
Опубліковано: (2015)

Synthesis of evolutionary mechanisms in the development of an adaptive optimization algorithm
за авторством: Ivanchuk, Y.V., та інші
Опубліковано: (2025)

Extracting structure from text documents based on machine learning
за авторством: Kudim, K.A., та інші
Опубліковано: (2023)

Prediction of Flow Accelerated Corrosion of NPP Pipeline Elements by Network Simulation Method
за авторством: Biblik, Irina V., та інші
Опубліковано: (2018)

An intelligent chatbot for evaluating the emotional colouring of a message and responding accordingly
за авторством: Kobchenko, V. R., та інші
Опубліковано: (2024)

Prediction of Flow Accelerated Corrosion of NPP Pipeline Elements by Network Simulation Method
за авторством: Biblik, Irina V., та інші
Опубліковано: (2018)

Algebraic modeling in international and local service logistical systems
за авторством: Letychevskyi, O.O., та інші
Опубліковано: (2021)

System of classification for personnel selection based upon Ukrainian language ana-lyze
за авторством: Zhezherun, O.P., та інші
Опубліковано: (2021)

Application of small language models for semantic analysis of Web interface accessibility
за авторством: Kuzikov, B.O., та інші
Опубліковано: (2025)

Game theoretic modeling of AIMD network equilibrium
за авторством: Ignatenko, O.P.
Опубліковано: (2018)

Model building for current transformer paper-oil insulation state diagnostics
за авторством: Skrupskaya, L. S., та інші
Опубліковано: (2014)

Optimization methods for face recognition algorithmes
за авторством: Sitkov, I.P., та інші
Опубліковано: (2025)

Mathematical methods of planning in systems consisted of rational agents
за авторством: Sinitsyn, I.P., та інші
Опубліковано: (2024)

Convolutional neural network model and software for classification of typical pests
за авторством: Bezliudnyi, Y.S., та інші
Опубліковано: (2022)

Digital twins in intrusion detection systems based on deep learning
за авторством: Letychevskyi, O.O., та інші
Опубліковано: (2025)