Scholar
Zhiyi Wang
Google Scholar ID: Xbm6BB8AAAAJ
Unknown affiliation
Follow
Google Scholar
↗
Citations & Impact
All-time
Citations
40
H-index
2
i10-index
1
Publications
2
Co-authors
0
Publications
6 items
Beyond Time Series: Spatial Reasoning for Epidemic Forecasting via Multimodal Learning
2026
Cited
0
Adapting SAM to Nuclei Instance Segmentation and Classification via Cooperative Fine-Grained Refinement
2026
Cited
0
Stellis: A Strategy Language for Purifying Separation Logic Entailments
2025
Cited
0
Object Reconstruction under Occlusion with Generative Priors and Contact-induced Constraints
2025
Cited
0
NEAT: QCP: A Practical Separation Logic-based C Program Verification Tool
2025
Cited
0
C*: Unifying Programming and Verification in C
2025
Cited
0
