Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2201.00115
Cited By
Toward the Analysis of Graph Neural Networks
1 January 2022
Thanh-Dat Nguyen
Thanh Le-Cong
Thanh-Hung Nguyen
X. Le
Quyet-Thang Huynh
GNN
Re-assign community
ArXiv
PDF
HTML
Papers citing
"Toward the Analysis of Graph Neural Networks"
3 / 3 papers shown
Title
VRDSynth: Synthesizing Programs for Multilingual Visually Rich Document Information Extraction
Thanh-Dat Nguyen
Tung Do-Viet
Hung Nguyen-Duy
Tuan-Hai Luu
Hung Le
Bach Le
Patanamon
Thongtanunam
SyDa
39
1
0
09 Jul 2024
Invalidator: Automated Patch Correctness Assessment via Semantic and Syntactic Reasoning
Thanh Le-Cong
Duc M. Luong
X. Le
David Lo
Nhat-Hoa Tran
Bui Quang-Huy
Quyet-Thang Huynh
40
24
0
03 Jan 2023
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks
Guy Katz
Clark W. Barrett
D. Dill
Kyle D. Julian
Mykel Kochenderfer
AAML
249
1,838
0
03 Feb 2017
1