| Grant number: | 21/03117-2 |
| Support Opportunities: | Scholarships in Brazil - Post-Doctoral |
| Start date: | August 01, 2021 |
| End date: | April 30, 2024 |
| Field of knowledge: | Physical Sciences and Mathematics - Computer Science - Computing Methodologies and Techniques |
| Principal Investigator: | Marcelo Finger |
| Grantee: | Sandro Márcio da Silva Preto |
| Host 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.eScience.CPE |
| Associated scholarship(s): | 21/10134-0 - Computing logical consequence in Lukasiewicz infinitely-valued logic, BE.EP.PD |
Abstract 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: | |
| More itemsLess items | |
| TITULO | |
| Articles published in other media outlets ( ): | |
| More itemsLess items | |
| VEICULO: TITULO (DATA) | |
| VEICULO: TITULO (DATA) | |