Yizhen Jia
3 papers · 2024–2025 · 3 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+1 more ↓ Show less ↑
π Conference Polyglot (3) π Renaissance Researcher (5) π Interdisciplinary Bridge πΊοΈ Taxonomy Completionist (14) π§ Keyword Pioneer
π
Cross-Pollinator
(15)
Conferences
AAAI (1)
EMNLP (1)
ICML (1)
Top co-authors
Keywords
contrastive learning
(1)
curriculum learning
(1)
mathematical reasoning
(1)
theorem proving
(1)
source-free domain adaptation
(1)
person re-identification
(1)
formal verification
(1)
mutual learning
(1)
person search
(1)
proof generation
(1)
large language model
(1)
formal reasoning
(1)
formal theorem proving
(1)
nl-fl alignment
(1)