MyJournals Home  

RSS FeedsAlgorithms, Vol. 15, Pages 449: Do Neural Transformers Learn Human-Defined Concepts? An Extensive Study in Source Code Processing Domain (Algorithms)

 
 

29 november 2022 05:33:11

 
Algorithms, Vol. 15, Pages 449: Do Neural Transformers Learn Human-Defined Concepts? An Extensive Study in Source Code Processing Domain (Algorithms)
 


State-of-the-art neural networks build an internal model of the training data, tailored to a given classification task. The study of such a model is of interest, and therefore, research on explainable artificial intelligence (XAI) aims at investigating if, in the internal states of a network, it is possible to identify rules that associate data to their corresponding classification. This work moves toward XAI research on neural networks trained in the classification of source code snippets, in the specific domain of cybersecurity. In this context, typically, textual instances have firstly to be encoded with non-invertible transformation into numerical vectors to feed the models, and this limits the applicability of known XAI methods based on the differentiation of neural signals with respect to real valued instances. In this work, we start from the known TCAV method, designed to study the human understandable concepts that emerge in the internal layers of a neural network, and we adapt it to transformers architectures trained in solving source code classification problems. We first determine domain-specific concepts (e.g., the presence of given patterns in the source code), and for each concept, we train support vector classifiers to separate points in the vector activation spaces that represent input instances with the concept from those without the concept. Then, we study if the presence (or the absence) of such concepts affects the decision process of the neural network. Finally, we discuss about how our approach contributes to general XAI goals and we suggest specific applications in the source code analysis field.


 
86 viewsCategory: Informatics
 
Algorithms, Vol. 15, Pages 448: A Multi-Dimensional Matrix Product—A Natural Tool for Parameterized Graph Algorithms (Algorithms)
Algorithms, Vol. 15, Pages 450: A Hybrid Exact–Local Search Approach for One-Machine Scheduling with Time-Dependent Capacity (Algorithms)
 
 
blog comments powered by Disqus


MyJournals.org
The latest issues of all your favorite science journals on one page

Username:
Password:

Register | Retrieve

Search:

Informatics


Copyright © 2008 - 2024 Indigonet Services B.V.. Contact: Tim Hulsen. Read here our privacy notice.
Other websites of Indigonet Services B.V.: Nieuws Vacatures News Tweets Nachrichten