Jinluan Yang
5 papers · 2024–2026 · 3 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+1 more ↓ Show less ↑
π 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)
Papers
Scaling and Transferability of Annealing Strategies in Large Language Model Training
AAAI 2026
Towards Advanced Mathematical Reasoning for LLMs via First-Order Logic Theorem Proving
EMNLP 2025
Mitigating the Backdoor Effect for Multi-Task Model Merging via Safety-Aware Subspace
ICLR 2025
REMEDY: Recipe Merging Dynamics in Large Vision-Language Models
ICLR 2025
Learning to Reweight for Generalizable Graph Neural Network
AAAI 2024