Qiancheng Fu

Publication Activity (10 Years)

Years Active: 2022-2023
Publications (10 Years): 6

Top Topics

Inductive Logic Programming

Lambda Calculus

Top Venues

IEEE Trans. Vis. Comput. Graph.

Publications

Qiancheng Fu, Hongwei Xi
A Two-Level Linear Dependent Type Theory. CoRR (2023)
Ganzhangqin Yuan, Qiancheng Fu, Zhenxing Mi, Yiming Luo, Wenbing Tao
SSRNet: Scalable 3D Surface Reconstruction Network. IEEE Trans. Vis. Comput. Graph. 29 (12) (2023)
Qiancheng Fu, Hongwei Xi
A Calculus of Inductive Linear Constructions. TyDe@ICFP (2023)
Mark Lemay, Qiancheng Fu, William Blair, Cheng Zhang, Hongwei Xi
A Dependently Typed Language with Dynamic Equality. TyDe@ICFP (2023)
Qiancheng Fu, Qingshan Xu, Yew-Soon Ong, Wenbing Tao
Geo-Neus: Geometry-Consistent Neural Implicit Surfaces Learning for Multi-view Reconstruction. CoRR (2022)
Qiancheng Fu, Qingshan Xu, Yew Soon Ong, Wenbing Tao
Geo-Neus: Geometry-Consistent Neural Implicit Surfaces Learning for Multi-view Reconstruction. NeurIPS (2022)