Essays about: "Kexin Xu"
Found 1 essay containing the words Kexin Xu.
-
1. Exploring properties and limitations of Graph Neural Networks (GNNs) in Software Verification
University essay from Uppsala universitet/Institutionen för informationsteknologiAbstract : This study analyzes how applicable Graph Neural Networks (GNNs) can be used for learning the labels of Horn graphs that are generated from Constrained Horn Clauses (CHCs) using Eldarica. To answer this question, 121 mono-direction edge layer graphs and hyper-edge graphs are prepared to be trained and validated and tested, weights per 10 epochs and losses are collected and visualized in 6 scenarios. READ MORE
Result pages:
1