Lin-Han Jia
6 papers · 2023–2025 · 4 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓
π
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)
Papers
VCSearch: Bridging the Gap Between Well-Defined and Ill-Defined Problems in Mathematical Reasoning
EMNLP 2025
Verification Learning: Make Unsupervised Neuro-Symbolic System Feasible
ICML 2025
Neuro-Symbolic Artificial Intelligence: Towards Improving the Reasoning Abilities of Large Language Models
IJCAI 2025
Realistic Evaluation of Semi-supervised Learning Algorithms in Open Environments
ICLR 2024
Bidirectional Adaptation for Robust Semi-Supervised Learning with Inconsistent Data Distributions
ICML 2023
ODS: Test-Time Adaptation in the Presence of Open-World Data Shift
ICML 2023