PPaperPicks

Yizhen Jia

5 papers at tracked venues · 4 at CORE A* · active 20242025

Venues

Frequent coauthors

Papers

  1. Doubly Contrastive Learning for Source-Free Domain Adaptive Person Search
    AAAI 2025 · Yizhen Jia
  2. Large Models are Good Annotators for Zero-Shot Learning
  3. MA-LoT: Model-Collaboration Lean-based Long Chain-of-Thought Reasoning enhances Formal Theorem Proving
  4. MUVR: A Multi-Modal Untrimmed Video Retrieval Benchmark with Multi-Level Visual Correspondence
  5. TheoremLlama: Transforming General-Purpose LLMs into Lean4 Experts