PPaperPicks

Tianqi Zhao

3 papers at tracked venues · 1 at CORE A* · active 2026–2026

Venues

Frequent coauthors

Qinxiang Cao
×1
Shenghua Feng
×1
Minghui Zhou
×1
Naijun Zhan
×1
Yongzhi Cao
×1
Junfeng Zhao
×1
Haiyan Zhao
×1
Hao Wang
×1
Zhenjiang Hu
×1
Xuanbo Fan
×1
Yi Cheng
×1
Chi Xiu
×1

Papers

  1. Formal Verification of Functional Correctness for the OpenHarmony LiteOS-M Kernel
    FM 2026 · Tianqi Zhao,
    Qinxiang Cao
    ,
    Shenghua Feng
    ,
    Minghui Zhou
    ,
    Naijun Zhan
    ,
    Yongzhi Cao
    ,
    Junfeng Zhao
    ,
    Haiyan Zhao
    ,
    Hao Wang
    ,
    Zhenjiang Hu
  2. SegMem-RAG: Adaptive Memory for Retrieval-Augmented Generation in Open-Ended Knowledge Environments
    AAAI 2026 ·
    Xuanbo Fan
    , Tianqi Zhao,
    Yi Cheng
    ,
    Chi Xiu
    ,
    Jiaxin Guo
    ,
    Boci Peng
    ,
    Bingjing Xu
    ,
    Jessica Zhang
    ,
    Feng Sun
    ,
    Yan Zhang
  3. Vision-Language Model Based Transfer Learning for Historical Document Recognition
    ICDAR 2026 ·
    Yifan Huang
    ,
    Liangrui Peng
    , Tianqi Zhao,
    Di Wu
    ,
    Kemeng Zhao
    ,
    Shuo Li
    ,
    Zhiyu Li
    ,
    Yuyang Li