Scholar
Shengyi Wang
Google Scholar ID: O-YuIMMAAAAJ
Princeton University
Programming Languages
Formal Verification
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
115
H-index
6
i10-index
4
Publications
14
Co-authors
0
Publications
4 items
FilmBench: A Film-Grade Benchmark for Cinematic Video Generation
2026
Cited
0
From Patterns to Maze Structures: SMT-Based Path Synthesis and 2D/3D Construction
2026
Cited
0
AI-Assisted Completion of CertiGC Proofs: An Experience Report
2026
Cited
0
Comprehensive Verification of Packet Processing
2024
Cited
0
