Qiancheng Fu

According to our database, Qiancheng Fu authored at least 6 papers between 2022 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Probabilistic Refinement Session Types.

Qiancheng Fu, Ankush Das, Marco Gaboardi

Proc. ACM Program. Lang., 2025

2023

SSRNet: Scalable 3D Surface Reconstruction Network.

Ganzhangqin Yuan, Qiancheng Fu, Zhenxing Mi, Yiming Luo, Wenbing Tao

IEEE Trans. Vis. Comput. Graph., December, 2023

A Two-Level Linear Dependent Type Theory.

Qiancheng Fu, Hongwei Xi

CoRR, 2023

A Dependently Typed Language with Dynamic Equality.

Mark Lemay, Qiancheng Fu, William Blair, Cheng Zhang, Hongwei Xi

Proceedings of the 8th ACM SIGPLAN International Workshop on Type-Driven Development, 2023

A Calculus of Inductive Linear Constructions.

Qiancheng Fu, Hongwei Xi

Proceedings of the 8th ACM SIGPLAN International Workshop on Type-Driven Development, 2023

2022

Geo-Neus: Geometry-Consistent Neural Implicit Surfaces Learning for Multi-view Reconstruction.

Qiancheng Fu, Qingshan Xu, Yew Soon Ong, Wenbing Tao

Proceedings of the Advances in Neural Information Processing Systems 35: Annual Conference on Neural Information Processing Systems 2022, 2022