AI.info

Hengyu Liu

Explore Hengyu Liu on AI.info.

• GAE: Learning a Geometry-Native Latent Space for 3D-Consistent World Generation
• MSC-180: A Benchmark for Automated Formal Theorem Proving from Mathematical Subject Classification
• ID-Crafter: VLM-Grounded Online RL for Compositional Multi-Subject Video Generation