Where We Have Arrived in Proving the Emergence of Sparse Symbolic Concepts in AI Models
This study aims to prove the emergence of symbolic concepts (or more precisely, sparse primitive inference patterns) in well-trained deep neural networks (DNNs). Specifically, we prove the following three conditions for the emergence. (i) The high-order derivatives of the network output with respect to the input variables are all zero. (ii) The DNN can be used on occluded samples and when the input sample is less occluded, the DNN will yield higher confidence. (iii) The confidence of the DNN does not significantly degrade on occluded samples. These conditions are quite common, and we prove that under these conditions, the DNN will only encode a relatively small number of sparse interactions between input variables. Moreover, we can consider such interactions as symbolic primitive inference patterns encoded by a DNN, because we show that inference scores of the DNN on an exponentially large number of randomly masked samples can always be well mimicked by numerical effects of just a few interactions.
Code (1)
Similar Papers 제목 키워드 기반
Global Prediction of COVID-19 Variant Emergence Using Dynamics-Informed Graph Neural Networks
During the COVID-19 pandemic, a major driver of new surges has been the emergence of new variants. When a new variant emerges in one or more countries, other nations monitor its spread in preparation for its potential ar…
BenchmarkingGraph Neural NetworkAn exactly solvable model for emergence and scaling laws in the multitask sparse parity problem
Deep learning models can exhibit what appears to be a sudden ability to solve a new problem as training time, training data, or model size increases, a phenomenon known as emergence. In this paper, we present a framework…
Higher-Order Spatial Information for Self-Supervised Place Cell Learning
Mammals navigate novel environments and exhibit resilience to sparse environmental sensory cues via place and grid cells, which encode position in space. While the efficiency of grid cell coding has been extensively stud…
NavigateSelf-Supervised LearningExploring the Advantages of Sparse Arrays in XL-MIMO Systems: Do Half-Wavelength Arrays Still Offer an Edge in the Near Field?
Extremely large-scale multiple-input multiple-output (XL-MIMO) has attracted extensive research attention due to its potential to meet the increasingly demanding requirements of future communication systems. Meanwhile, r…
FormTechnical Report of "Deductive Joint Support for Rational Unrestricted Rebuttal"
In ASPIC-style structured argumentation an argument can rebut another argument by attacking its conclusion. Two ways of formalizing rebuttal have been proposed: In restricted rebuttal, the attacked conclusion must have b…
Relation