P
PaperPicks
Conferences
Researchers
Sponsors ♥
Yizhen Jia
5 papers at tracked venues · 4 at CORE A* · active 2024–2025
DBLP profile ↗
ORCID search ↗
Venues
AAAI
×1
EMNLP
×1
ICML
×1
NeurIPS
×1
SIGIR
×1
Frequent coauthors
Jie Qin
×3
Rong Quan
×2
Yue Feng
×2
Qingzhi He
×2
Wentong Li
×2
Ruida Wang
×2
Rui Pan
×2
Jipeng Zhang
×2
Shizhe Diao
×2
Renjie Pi
×2
Tong Zhang
×2
Haiyan Chen
×1
Papers
Doubly Contrastive Learning for Source-Free Domain Adaptive Person Search
BibTeX ⧉
AAAI 2025
·
Yizhen Jia
,
Rong Quan
,
Yue Feng
,
Haiyan Chen
,
Jie Qin
Large Models are Good Annotators for Zero-Shot Learning
BibTeX ⧉
SIGIR 2025
·
Qingzhi He
,
Yizhen Jia
,
Wentong Li
,
Shengcai Liao
,
Rong Quan
,
Tong Cui
,
Jie Qin
MA-LoT: Model-Collaboration Lean-based Long Chain-of-Thought Reasoning enhances Formal Theorem Proving
BibTeX ⧉
ICML 2025
·
Ruida Wang
,
Rui Pan
,
Yuxin Li
,
Jipeng Zhang
,
Yizhen Jia
,
Shizhe Diao
,
Renjie Pi
,
Junjie Hu
,
Tong Zhang
MUVR: A Multi-Modal Untrimmed Video Retrieval Benchmark with Multi-Level Visual Correspondence
BibTeX ⧉
NeurIPS 2025
·
Yue Feng
,
Jinwei Hu
,
Qijia Lu
,
Jiawei Niu
,
Li Tan
,
Shuo Yuan
,
Ziyi Yan
,
Yizhen Jia
,
Qingzhi He
,
Shiping Ge
,
Ethan Q. Chen
,
Wentong Li
,
Limin Wang
,
Jie Qin
TheoremLlama: Transforming General-Purpose LLMs into Lean4 Experts
BibTeX ⧉
EMNLP 2024
·
Ruida Wang
,
Jipeng Zhang
,
Yizhen Jia
,
Rui Pan
,
Shizhe Diao
,
Renjie Pi
,
Tong Zhang