Scholar
Chia-Hsuan Lu
Google Scholar ID: wzxs2hQAAAAJ
University of Oxford
Follow
Google Scholar
↗
Citations & Impact
All-time
Citations
23
H-index
3
i10-index
1
Publications
7
Co-authors
0
Publications
4 items
Robustness Verification of Graph Neural Networks Via Lightweight Satisfiability Testing
2025
Cited
0
Exact Verification of Graph Neural Networks with Incremental Constraint Solving
2025
Cited
0
Analysis of logics with arithmetic
2025
Cited
0
Decidability of Graph Neural Networks via Logical Characterizations
International Colloquium on Automata, Languages and Programming · 2024
Cited
2
