Shixing Yu

4 papers · 2022–2024 · 3 venues · across top CS/AI venues

Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.

Achievements

Jump to papers ↓

🌍 Conference Polyglot · Bronze 🌉 Interdisciplinary Bridge · Bronze 🗺️ Taxonomy Completionist (12)

Venues

WACV (2) ICLR (1) NeurIPS (1)

Top co-authors

Amir Gholami (1) Peiyang Song (1) Kurt Keutzer (1) Ji Liu (1) Jianchao Tan (1) Huan Yuan (1) Alex Gu (1) Sen Yang (1) Yuan-Yao Sung (1) Zhen Dong (1)

Research topics

Artificial Intelligence (3) Deep Learning (3) Machine Learning (3) Core AI (3) Application Areas (2) Optimization & Theory · Machine Learning (2) Techniques (2) Natural Language Processing (1) Architectures (1) Learning Paradigms (1) Optimization & Theory · Deep Learning (1) Resources & Methods (1)

Keywords

model compression (3) vision transformer (2) efficient computing (2) neural architecture search (1) low-rank approximation (1) layer skipping (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) theorem proving (1) knowledge distillation (1)

Papers

FLORA: Fine-Grained Low-Rank Architecture Search for Vision Transformer WACV 2024 LeanDojo: Theorem Proving with Retrieval-Augmented Language Models NeurIPS 2023 Hessian-Aware Pruning and Optimal Neural Implant WACV 2022 Unified Visual Transformer Compression ICLR 2022