P
PaperPicks
Conferences
Researchers
Sponsors ♥
Tianqi Zhao
3 papers at tracked venues · 1 at CORE A* · active 2026–2026
DBLP profile ↗
ORCID search ↗
Venues
AAAI
×1
FM
×1
ICDAR
×1
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
Formal Verification of Functional Correctness for the OpenHarmony LiteOS-M Kernel
BibTeX ⧉
FM 2026
·
Tianqi Zhao
,
Qinxiang Cao
,
Shenghua Feng
,
Minghui Zhou
,
Naijun Zhan
,
Yongzhi Cao
,
Junfeng Zhao
,
Haiyan Zhao
,
Hao Wang
,
Zhenjiang Hu
SegMem-RAG: Adaptive Memory for Retrieval-Augmented Generation in Open-Ended Knowledge Environments
BibTeX ⧉
AAAI 2026
·
Xuanbo Fan
,
Tianqi Zhao
,
Yi Cheng
,
Chi Xiu
,
Jiaxin Guo
,
Boci Peng
,
Bingjing Xu
,
Jessica Zhang
,
Feng Sun
,
Yan Zhang
Vision-Language Model Based Transfer Learning for Historical Document Recognition
BibTeX ⧉
ICDAR 2026
·
Yifan Huang
,
Liangrui Peng
,
Tianqi Zhao
,
Di Wu
,
Kemeng Zhao
,
Shuo Li
,
Zhiyu Li
,
Yuyang Li