Scholar
Peixin Wang
Google Scholar ID: KDY0bqQAAAAJ
East China Normal University
Formal Methods
Trustworthy AI
Program Verification
Follow
Google Scholar
↗
Citations & Impact
All-time
Citations
184
H-index
4
i10-index
4
Publications
15
Co-authors
6
list available
Publications
10 items
Neuro-Symbolic Indirect-Call Analysis under Opaque Pointers
2026
Cited
0
EchoFuzz: Empowering Smart Contract Fuzzing with Large Language Models
2026
Cited
0
CAFE: Self-Improving Search Agents Need Co-Evolving Feedback
2026
Cited
0
Entropy Is Not Enough: Unlocking Effective Reinforcement Learning for Visual Reasoning via Vision-Anchored Token Selection
2026
Cited
0
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
Load more
Co-authors
6 total
Hongfei Fu
Shanghai Jiao Tong University
Krishnendu Chatterjee
Professor, IST Austria
Min ZHANG
East China Normal University
Luke Ong
Distinguished University Professor, Nanyang Technological University
Amir Goharshady
Associate Professor, University of Oxford
Yuxin Deng
Professor, Shanghai University of Finance and Economics
