Scholar
Minghua Wang
Google Scholar ID: EMg5Z5MAAAAJ
Ant Group
software and system security
program analysis
Follow
Google Scholar
↗
Citations & Impact
All-time
Citations
384
H-index
8
i10-index
8
Publications
15
Co-authors
0
Contact
No contact links provided.
Publications
5 items
HarnessLLM: Rust Verification Harness Generation with Large Language Models
2026
Cited
0
KaPilot: LLM-Assisted Generation of Kani Specifications for Unsafe Rust Verification
2026
Cited
0
Filling Before Advancing: Capability-Gap-Driven Post-Training for Scenario-Specialized Remote Sensing MLLMs
2026
Cited
0
SoDa2: Single-Stage Open-Set Domain Adaptation via Decoupled Alignment for Cross-Scene Hyperspectral Image Classification
2026
Cited
0
KVerus: Scalable and Resilient Formal Verification Proof Generation for Rust Code
2026
Cited
0
Resume (English only)
Co-authors
0 total
Co-authors: 0 (list not available)
