Yizhen Jia
3 papers
· 2024–2025
· 3 conferences
· across top CS/AI conferences
Achievements
π
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)