Jinluan Yang
5 papers
· 2024–2026
· 3 conferences
· across top CS/AI conferences
Achievements
π
Conference Polyglot
(3)
π
Renaissance Researcher
(5)
π
Interdisciplinary Bridge
πΊοΈ
Taxonomy Completionist
(15)
π§
Keyword Pioneer
π
Cross-Pollinator
(15)
Conferences
AAAI (2)
ICLR (2)
EMNLP (1)
Top co-authors
Keywords
domain generalization
(1)
hyperparameter optimization
(1)
mathematical reasoning
(1)
theorem proving
(1)
out-of-distribution generalization
(1)
automated reasoning
(1)
formal verification
(1)
distribution shift
(1)
first-order logic
(1)
learning rate scheduling
(1)
training dynamics
(1)
bi-level optimization
(1)
model scaling
(1)
sample reweighting
(1)
proof generation
(1)
large language model
(1)
graph neural network
(1)
graph decorrelation
(1)
formal reasoning
(1)
lean theorem prover
(1)