Shixing Yu
4 papers
· 2022–2024
· 3 conferences
· across top CS/AI conferences
Achievements
π
Conference Polyglot
(3)
π
Interdisciplinary Bridge
πΊοΈ
Taxonomy Completionist
(10)
π§
Keyword Pioneer
π
Cross-Pollinator
(15)
Conferences
WACV (2)
ICLR (1)
NIPS (1)
Top co-authors
Keywords
model compression
(2)
vision transformer
(1)
theorem proving
(1)
neural architecture search
(1)
efficient computing
(1)
low-rank approximation
(1)
retrieval-augmented generation
(1)
structured pruning
(1)
premise selection
(1)
supernet training
(1)
parameter pruning
(1)
flops reduction
(1)
large language model
(1)
proof assistant
(1)
hessian-aware pruning
(1)
neural implant
(1)
second-order sensitivity
(1)