Renqiu Xia

GeoBench: Rethinking Multimodal Geometric Problem-Solving via Hierarchical Evaluation

Learning Adaptive and Temporally Causal Video Tokenization in a 1D Latent Space

PointARSim: Point-cloud–enhanced Generative Auto-Regressive Simulation for Closed-loop End-to-end Autonomous Driving Evaluation

Let's Explore Step by Step: Generating Provable Formal Statements with Deductive Exploration

Unleashing Chain-of-Thought Reasoning for 3D Scene Synthesis

GeoX: Geometric Problem Solving Through Unified Formalized Vision-Language Pre-training

DocGenome: A Large Benchmark for Multi-Modal Language Models in Real-World Academic Document Understanding

Bootstrapping Hierarchical Autoregressive Formal Reasoner with Chain-of-Proxy-Autoformalization