Qi Liu

GeoBench: Rethinking Multimodal Geometric Problem-Solving via Hierarchical Evaluation

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

Rethinking and Improving Autoformalization: Towards a Faithful Metric and a Dependency Retrieval-based Approach

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

TerDiT: Ternary Diffusion Models with Transformers