Advanced search
Start date

Formal verification of neural networks via Lukasiewicz infinitely-valued logic

Grant number: 21/03117-2
Support type:Scholarships in Brazil - Post-Doctorate
Effective date (Start): August 01, 2021
Field of knowledge:Physical Sciences and Mathematics - Computer Science - Computing Methodologies and Techniques
Principal researcher:Marcelo Finger
Grantee:Sandro Márcio da Silva Preto
Home Institution: Instituto de Matemática e Estatística (IME). Universidade de São Paulo (USP). São Paulo , SP, Brazil
Company:Universidade de São Paulo (USP). Centro de Inovação da USP (INOVA)
Associated research grant:19/07665-4 - Center for Artificial Intelligence, AP.PCPE
Associated scholarship(s):21/10134-0 - Computing logical consequence in Lukasiewicz infinitely-valued logic, BE.EP.PD


A way to circumvent the black box method problem suffered by neural networks and allow its application in critical situations is by making the formal verification of desirable properties in these networks. The area of formal verification of neural networks is recent and there are challenges to be tackled; for that, the community proposed benchmarks and competitions for comparing the efficiency of the proposed methods. This research project aims to establish such methods by formalizing properties about neural networks in the language of Lukasiewicz infinitely-valued logic and reducing the problems of verification to decision problems related to this logical system. In order to achieve its objectives, this project is divided in three phases. First, it will be approached the neural networks that can be described as rational McNaughton functions which are particular cases of continuous piecewise linear functions with domain in R n and codomain in R, approached in the second phase. In the last phase, it will be approached nonlinear neural networks, whose activation functions are sigmoid and hyperbolic tangent. The developed methods will be implemented and tested in the benchmarks established in the 1st International Verification of Neural Networks Competition, which took place in 2020. (AU)

News published in Agência FAPESP Newsletter about the scholarship:
Articles published in other media outlets (0 total):
More itemsLess items

Please report errors in scientific publications list by writing to: