Qian Meng
Scholar

Qian Meng

Google Scholar ID: Vi6Y30MAAAAJ
Cornell University
Formal MethodsRoboticsLarge Language Models
Google Scholar↗
Citations & Impact
All-time
Citations
8
 
H-index
2
 
i10-index
0
 
Publications
6
 
Co-authors
5
list available
Contact
No contact links provided.
Publications
4 items
One-shot variable-ratio matching with fine balance
2025
Cited
0
Physically-Feasible Reactive Synthesis for Terrain-Adaptive Locomotion
2025
Cited
0
INPROVF: Leveraging Large Language Models to Repair High-level Robot Controllers from Assumption Violations
2025
Cited
0
Physically-Feasible Reactive Synthesis for Terrain-Adaptive Locomotion via Trajectory Optimization and Symbolic Repair
2025
Cited
0
Resume (English only)
Co-authors
5 total
Hadas Kress-Gazit
Hadas Kress-Gazit
Cornell University
Ye Zhao
Ye Zhao
Associate Professor, Mechanical Engineering, Georgia Tech
Ziyi Zhou
Ziyi Zhou
Ph.D. candidate, Georgia Institute of Technology
Kilian Weinberger
Kilian Weinberger
Cornell University
Jin Peng Zhou
Jin Peng Zhou
Cornell University