Peixin Wang
Scholar

Peixin Wang

Google Scholar ID: KDY0bqQAAAAJ
East China Normal University
Formal MethodsTrustworthy AIProgram Verification
Google Scholar↗
Citations & Impact
All-time
Citations
184
 
H-index
4
 
i10-index
4
 
Publications
15
 
Co-authors
6
list available
Contact
No contact links provided.
Publications
6 items
Mitigating Object Hallucinations in LVLMs via Attention Imbalance Rectification
2026
Cited
0
A Formal Framework for Predicting Distributed System Performance under Faults
2026
Cited
0
Neural Theorem Proving for Verification Conditions: A Real-World Benchmark
2026
Cited
0
Quantitative Verification of Omega-regular Properties in Probabilistic Programming
2025
Cited
0
DEVAL: A Framework for Evaluating and Improving the Derivation Capability of Large Language Models
2025
Cited
0
Structural Abstraction and Refinement for Probabilistic Programs
2025
Cited
0
Resume (English only)
Co-authors
6 total
Hongfei Fu
Hongfei Fu
Shanghai Jiao Tong University
Krishnendu Chatterjee
Krishnendu Chatterjee
Professor, IST Austria
Min ZHANG
Min ZHANG
East China Normal University
Luke Ong
Luke Ong
Distinguished University Professor, Nanyang Technological University
Amir Goharshady
Amir Goharshady
Associate Professor, University of Oxford
Yuxin Deng
Yuxin Deng
Professor, Shanghai University of Finance and Economics