Yufei Cai

Publication Activity (10 Years)

Years Active: 2013-2024
Publications (10 Years): 7

Top Topics

Bayesian Models

Image Generation

Top Venues

Proc. ACM Program. Lang.

Publications

Chengfei Li, Ao Xu, Qibo Zhang, Yufei Cai
Steel Surface Defect Detection Method Based on Improved YOLOX. IEEE Access 12 (2024)
Yufei Cai, Yuxiang Wei, Zhilong Ji, Jinfeng Bai, Hu Han, Wangmeng Zuo
Decoupled Textual Embeddings for Customized Image Generation. AAAI (2024)
Yufei Cai, Yuxiang Wei, Zhilong Ji, Jinfeng Bai, Hu Han, Wangmeng Zuo
Decoupled Textual Embeddings for Customized Image Generation. CoRR (2023)
Yidi Wu, Yuntao Gui, Tatiana Jin, James Cheng, Xiao Yan, Peiqi Yin, Yufei Cai, Bo Tang, Fan Yu
Vertex-Centric Visual Programming for Graph Neural Networks. SIGMOD Conference (2021)
Adam Scibior, Ohad Kammar, Matthijs Vákár, Sam Staton, Hongseok Yang, Yufei Cai, Klaus Ostermann, Sean K. Moss, Chris Heunen, Zoubin Ghahramani
Denotational validation of higher-order Bayesian inference. Proc. ACM Program. Lang. 2 (POPL) (2018)
Adam Scibior, Ohad Kammar, Matthijs Vákár, Sam Staton, Hongseok Yang, Yufei Cai, Klaus Ostermann, Sean K. Moss, Chris Heunen, Zoubin Ghahramani
Denotational validation of higher-order Bayesian inference. CoRR (2017)
Yufei Cai, Paolo G. Giarrusso, Klaus Ostermann
System f-omega with equirecursive types for datatype-generic programming. POPL (2016)
Leizhen Cai, Yufei Cai
Incompressibility of H-Free Edge Modification Problems. Algorithmica 71 (3) (2015)
Yufei Cai, Paolo G. Giarrusso, Tillmann Rendel, Klaus Ostermann
A theory of changes for higher-order languages: incrementalizing λ-calculi by static differentiation. PLDI (2014)
Leizhen Cai, Yufei Cai
Incompressibility of H-Free Edge Modification. IPEC (2013)
Yufei Cai, Paolo G. Giarrusso, Tillmann Rendel, Klaus Ostermann
A Theory of Changes for Higher-Order Languages - Incrementalizing λ-Calculi by Static Differentiation. CoRR (2013)