Scholar
Naipeng Dong
Google Scholar ID: ZU5ZUnAAAAAJ
The University of Queensland
Formal verification
Security
Privacy
Blockchain
Crypto
Follow
Google Scholar
↗
Citations & Impact
All-time
Citations
458
H-index
13
i10-index
15
Publications
20
Co-authors
28
list available
Publications
7 items
Rotated, but How Far? Diagnosing and Improving Object-Rotation Reasoning in VLMs
2026
Cited
0
Embedded Graph Flows for Categorical Graph Generation
2026
Cited
0
Testing Deep Learning Library APIs via Cross-Framework Differential Fuzzing
2026
Cited
0
Harnessing LLMs for Document-Guided Fuzzing of Python Libraries
2026
Cited
0
XAMT: Cross-Framework API Matching for Testing Deep Learning Libraries
2025
Cited
0
Harnessing LLMs for Document-Guided Fuzzing of OpenCV Library
2025
Cited
0
Anomaly Detection Based on Critical Paths for Deep Neural Networks
2025
Cited
0
Co-authors
11 total
Guangdong Bai
Associate Professor of The University of Queensland
Jin Song Dong
Professor of Computer Science, National University of Singapore
Jun Pang
University of Luxembourg
Ryan Ko
Professor, Chair & Director – Cyber Security, The University of Queensland
cyrille Jegourel
SUTD
Abhik Roychoudhury
Professor of Computer Science, National University of Singapore
Chenyi Zhang
University of Canterbury
Mark Utting
The University of Queensland
