Alert button
Picture for Enze Xie

Enze Xie

Alert button

Lyra: Orchestrating Dual Correction in Automated Theorem Proving

Oct 07, 2023
Chuanyang Zheng, Haiming Wang, Enze Xie, Zhengying Liu, Jiankai Sun, Huajian Xin, Jianhao Shen, Zhenguo Li, Yu Li

Figure 1 for Lyra: Orchestrating Dual Correction in Automated Theorem Proving
Figure 2 for Lyra: Orchestrating Dual Correction in Automated Theorem Proving
Figure 3 for Lyra: Orchestrating Dual Correction in Automated Theorem Proving
Figure 4 for Lyra: Orchestrating Dual Correction in Automated Theorem Proving
Viaarxiv icon

DQ-LoRe: Dual Queries with Low Rank Approximation Re-ranking for In-Context Learning

Oct 05, 2023
Jiong Xiong, Zixuan Li, Chuanyang Zheng, Zhijiang Guo, Yichun Yin, Enze Xie, Zhicheng Yang, Qingxing Cao, Haiming Wang, Xiongwei Han, Jing Tang, Chengming Li, Xiaodan Liang

Figure 1 for DQ-LoRe: Dual Queries with Low Rank Approximation Re-ranking for In-Context Learning
Figure 2 for DQ-LoRe: Dual Queries with Low Rank Approximation Re-ranking for In-Context Learning
Figure 3 for DQ-LoRe: Dual Queries with Low Rank Approximation Re-ranking for In-Context Learning
Figure 4 for DQ-LoRe: Dual Queries with Low Rank Approximation Re-ranking for In-Context Learning
Viaarxiv icon

MagicDrive: Street View Generation with Diverse 3D Geometry Control

Oct 05, 2023
Ruiyuan Gao, Kai Chen, Enze Xie, Lanqing Hong, Zhenguo Li, Dit-Yan Yeung, Qiang Xu

Figure 1 for MagicDrive: Street View Generation with Diverse 3D Geometry Control
Figure 2 for MagicDrive: Street View Generation with Diverse 3D Geometry Control
Figure 3 for MagicDrive: Street View Generation with Diverse 3D Geometry Control
Figure 4 for MagicDrive: Street View Generation with Diverse 3D Geometry Control
Viaarxiv icon

Beyond One-to-One: Rethinking the Referring Image Segmentation

Aug 26, 2023
Yutao Hu, Qixiong Wang, Wenqi Shao, Enze Xie, Zhenguo Li, Jungong Han, Ping Luo

Figure 1 for Beyond One-to-One: Rethinking the Referring Image Segmentation
Figure 2 for Beyond One-to-One: Rethinking the Referring Image Segmentation
Figure 3 for Beyond One-to-One: Rethinking the Referring Image Segmentation
Figure 4 for Beyond One-to-One: Rethinking the Referring Image Segmentation
Viaarxiv icon

T2I-CompBench: A Comprehensive Benchmark for Open-world Compositional Text-to-image Generation

Jul 12, 2023
Kaiyi Huang, Kaiyue Sun, Enze Xie, Zhenguo Li, Xihui Liu

Figure 1 for T2I-CompBench: A Comprehensive Benchmark for Open-world Compositional Text-to-image Generation
Figure 2 for T2I-CompBench: A Comprehensive Benchmark for Open-world Compositional Text-to-image Generation
Figure 3 for T2I-CompBench: A Comprehensive Benchmark for Open-world Compositional Text-to-image Generation
Figure 4 for T2I-CompBench: A Comprehensive Benchmark for Open-world Compositional Text-to-image Generation
Viaarxiv icon

Parametric Depth Based Feature Representation Learning for Object Detection and Segmentation in Bird's Eye View

Jul 11, 2023
Jiayu Yang, Enze Xie, Miaomiao Liu, Jose M. Alvarez

Figure 1 for Parametric Depth Based Feature Representation Learning for Object Detection and Segmentation in Bird's Eye View
Figure 2 for Parametric Depth Based Feature Representation Learning for Object Detection and Segmentation in Bird's Eye View
Figure 3 for Parametric Depth Based Feature Representation Learning for Object Detection and Segmentation in Bird's Eye View
Figure 4 for Parametric Depth Based Feature Representation Learning for Object Detection and Segmentation in Bird's Eye View
Viaarxiv icon

DiffFlow: A Unified SDE Framework for Score-Based Diffusion Models and Generative Adversarial Networks

Jul 05, 2023
Jingwei Zhang, Han Shi, Jincheng Yu, Enze Xie, Zhenguo Li

Figure 1 for DiffFlow: A Unified SDE Framework for Score-Based Diffusion Models and Generative Adversarial Networks
Viaarxiv icon

DiT-3D: Exploring Plain Diffusion Transformers for 3D Shape Generation

Jul 04, 2023
Shentong Mo, Enze Xie, Ruihang Chu, Lewei Yao, Lanqing Hong, Matthias Nießner, Zhenguo Li

Figure 1 for DiT-3D: Exploring Plain Diffusion Transformers for 3D Shape Generation
Figure 2 for DiT-3D: Exploring Plain Diffusion Transformers for 3D Shape Generation
Figure 3 for DiT-3D: Exploring Plain Diffusion Transformers for 3D Shape Generation
Figure 4 for DiT-3D: Exploring Plain Diffusion Transformers for 3D Shape Generation
Viaarxiv icon

DiffComplete: Diffusion-based Generative 3D Shape Completion

Jun 28, 2023
Ruihang Chu, Enze Xie, Shentong Mo, Zhenguo Li, Matthias Nießner, Chi-Wing Fu, Jiaya Jia

Figure 1 for DiffComplete: Diffusion-based Generative 3D Shape Completion
Figure 2 for DiffComplete: Diffusion-based Generative 3D Shape Completion
Figure 3 for DiffComplete: Diffusion-based Generative 3D Shape Completion
Figure 4 for DiffComplete: Diffusion-based Generative 3D Shape Completion
Viaarxiv icon