Tianyue Cao

Publication Activity (10 Years)

Years Active: 2019-2023
Publications (10 Years): 8

Top Topics

Weakly Supervised

Top Venues

Theor. Comput. Sci.

Publications

Tianyue Cao, Bowen Zhang, Zhao Jin, Yongzhi Cao, Hanpin Wang
A separation logic for sequences in pointer programs and its decidability. CoRR (2023)
Tianyue Cao, Yongxin Wang, Yifan Xing, Tianjun Xiao, Tong He, Zheng Zhang, Hao Zhou, Joseph Tighe
PSS: Progressive Sample Selection for Open-World Visual Representation Learning. ECCV (31) (2022)
Zhao Jin, Bowen Zhang, Tianyue Cao, Yongzhi Cao, Hanpin Wang
Reasoning about block-based cloud storage systems via separation logic. Theor. Comput. Sci. 936 (2022)
Xingyue Pu, Tianyue Cao, Xiaoyun Zhang, Xiaowen Dong, Siheng Chen
Learning to Learn Graph Topologies. NeurIPS (2021)
Xingyue Pu, Tianyue Cao, Xiaoyun Zhang, Xiaowen Dong, Siheng Chen
Learning to Learn Graph Topologies. CoRR (2021)
Tianyue Cao, Lianyu Du, Xiaoyun Zhang, Siheng Chen, Ya Zhang, Yan-Feng Wang
CaT: Weakly Supervised Object Detection with Category Transfer. CoRR (2021)
Tianyue Cao, Lianyu Du, Xiaoyun Zhang, Siheng Chen, Ya Zhang, Yan-Feng Wang
CaT: Weakly Supervised Object Detection with Category Transfer. ICCV (2021)
Yuhang Yao, Xiao Zeng, Tianyue Cao, Luoyi Fu, Xinbing Wang
APRP: An Anonymous Propagation Method in Bitcoin Network. AAAI (2019)