P
PaperPicks
Conferences
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
Ruida Wang
DBLP profile ↗
ORCID search ↗
×2
Qingzhi He
DBLP profile ↗
ORCID search ↗
×1
Yue Feng
DBLP profile ↗
ORCID search ↗
×1
Papers
Doubly Contrastive Learning for Source-Free Domain Adaptive Person Search
AAAI 2025
·
Yizhen Jia
Large Models are Good Annotators for Zero-Shot Learning
SIGIR 2025
·
Qingzhi He
DBLP profile ↗
ORCID search ↗
MA-LoT: Model-Collaboration Lean-based Long Chain-of-Thought Reasoning enhances Formal Theorem Proving
ICML 2025
·
Ruida Wang
DBLP profile ↗
ORCID search ↗
MUVR: A Multi-Modal Untrimmed Video Retrieval Benchmark with Multi-Level Visual Correspondence
NeurIPS 2025
·
Yue Feng
DBLP profile ↗
ORCID search ↗
TheoremLlama: Transforming General-Purpose LLMs into Lean4 Experts
EMNLP 2024
·
Ruida Wang
DBLP profile ↗
ORCID search ↗