Yizhen Jia
3 papers · 2024–2025 · 3 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓
🌍
Conference Polyglot · Bronze
🌉
Interdisciplinary Bridge · Bronze
🗺️
Taxonomy Completionist
(14)
Top co-authors
Research topics
Keywords
large language model
(2)
formal theorem proving
(2)
mathematical reasoning
(1)
theorem proving
(1)
source-free domain adaptation
(1)
person re-identification
(1)
formal verification
(1)
mutual learning
(1)
model collaboration
(1)
person search
(1)
proof generation
(1)
formal reasoning
(1)
nl-fl alignment
(1)
lean 4
(1)
chain-of-thoughts
(1)
contrastive learning
(1)
llms
(1)
curriculum learning
(1)