Wanli Ma
3 papers
· 2014–2026
· 2 conferences
· across top CS/AI conferences
Achievements
🌍
Conference Polyglot
(2)
🏃
Academic Marathon
(11)
🌉
Interdisciplinary Bridge
🧭
Keyword Pioneer
🐝
Cross-Pollinator
(15)
📈
Trend Setter
Conferences
AAAI (2)
NIPS (1)
Top co-authors
Keywords
large language model
(2)
compressed sensing
(1)
mathematical reasoning
(1)
knowledge editing
(1)
low-rank matrix
(1)
nuclear norm minimization
(1)
rank minimization
(1)
nuclear norm regularization
(1)
matrix recovery
(1)
conditional gradient
(1)
language model
(1)
factual association
(1)
structured template
(1)
matrix rank minimization
(1)
proof assistant
(1)
relation information
(1)
theorem autoformalization
(1)
structured matrix
(1)
typeclass mechanism
(1)