Author

Qian Cheng

Observed name: Cheng, Qian

Institutions: Nanjing University, Tsinghua University

Observed institutions: Nanjing University, Tsinghua University

OpenAlex ID: A5136705693

GaussianDream: A Feed-Forward 3D Gaussian World Model for Robotic Manipulation

2026 · Zhang, Zijian, Jiang, Yuqing, et al. · arXiv (Cornell University) · 5

Specula: Scaling formal specifications for autonomous model checking of system code

2026 · Cheng, Qian, Pial, Saad Mohammad Rafid, et al. · arXiv (Cornell University) · 1

TLAPS-Bench: Formally Proving Correctness of Real-World System Specifications with TLA+ Proof System

2026 · Cheng, Qian, Tang, Ruize, et al. · arXiv (Cornell University)

Works count: 4

Citation count: 12

H-index: 2

I10-index: