Geo-Neus: Geometry-Consistent Neural Implicit Surfaces Learning for Multi-view Reconstruction. - Qiancheng Fu; Qingshan Xu 001; Yew Soon Ong; Wenbing Tao (NeurIPS, 2022)

A Calculus of Inductive Linear Constructions. - Qiancheng Fu; Hongwei Xi 001 (TyDe@ICFP, 2023)

A Dependently Typed Language with Dynamic Equality. - Mark Lemay; Qiancheng Fu; William Blair; Cheng Zhang; Hongwei Xi 001 (TyDe@ICFP, 2023)

A Two-Level Linear Dependent Type Theory. - Qiancheng Fu; Hongwei Xi 001 (CoRR, 2023)

SSRNet: Scalable 3D Surface Reconstruction Network. - Ganzhangqin Yuan; Qiancheng Fu; Zhenxing Mi; Yiming Luo; Wenbing Tao (IEEE Trans. Vis. Comput. Graph., 2023)

Probabilistic Refinement Session Types. - Qiancheng Fu; Ankush Das; Marco Gaboardi (Proc. ACM Program. Lang., 2025)