This repo contains the dataset and the implementation of the NeuralState analysis paper.
Please read below to understand repo Organization:
In the paper, we use two benchmarks:
The first benchmark we used from NeuraLint can be found under the director name Benchmark1/SOSamples
The second benchmark we used from Humbatova et al. can be found under the director name Benchmark2/SOSamples
Download the NeuralStateAnalysis Zip file.
Extract the file and go… See the full description on the dataset page:
https://huggingface.co/datasets/anonymou123dl/dlanalysis.
