Lin-Han Jia
6 papers
· 2023–2025
· 4 conferences
· across top CS/AI conferences
Achievements
π
Interdisciplinary Bridge
π
Conference Polyglot
(4)
π
Cross-Pollinator
(12)
πΊοΈ
Taxonomy Completionist
(19)
π§
Keyword Pioneer
Conferences
ICML (3)
EMNLP (1)
ICLR (1)
IJCAI (1)
Top co-authors
Keywords
large language model
(2)
domain adaptation
(1)
symbolic reasoning
(1)
mathematical reasoning
(1)
constraint solving
(1)
knowledge representation
(1)
test-time adaptation
(1)
formal methods
(1)
covariate shift
(1)
generalization error
(1)
distribution shift
(1)
classification error
(1)
formal language
(1)
neuro-symbolic ai
(1)
reasoning capability
(1)
label distribution
(1)
distribution discrepancy
(1)
neuro-symbolic approach
(1)
artificial general intelligence
(1)
ill-posed problem
(1)