Minghua Wang
Identifiers
No identifiers captured yet.
Papers (2)
- KVerus: Scalable and Resilient Formal Verification Proof Generation for Rust Code cs.SE · 2026 · author #4
- SoDa2: Single-Stage Open-Set Domain Adaptation via Decoupled Alignment for Cross-Scene Hyperspectral Image Classification cs.CV · 2026 · author #2
Mentions
No mention provenance yet.
Frequent Coauthors
- Gemine Vivone 1 shared papers
- Jing Yao 1 shared papers
- Lin Huang 1 shared papers
- Tao Wei 1 shared papers
- Xinyi Wan 1 shared papers
- Xin Zhao 1 shared papers
- Yanhao Wang 1 shared papers
- Yiwen Liu 1 shared papers
- Yuwei Liu 1 shared papers