Bingxin Xu
3 papers · 2012–2025 · 2 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+4 more ↓ Show less ↑
π£ Hot Topic Early Bird π§ Keyword Pioneer π Conference Polyglot (2) π Academic Marathon (13) π Cross-Pollinator (5)
π
Renaissance Researcher
(5)
π
Interdisciplinary Bridge
πΊοΈ
Taxonomy Completionist
(15)
π
Trend Setter
Conferences
ICCV (2)
RSS (1)
Top co-authors
Keywords
model compression
(2)
causal inference
(1)
motion planning
(1)
visual question answering
(1)
data-free learning
(1)
efficient computing
(1)
formal methods
(1)
abstraction refinement
(1)
formal verification
(1)
robot control
(1)
deep neural network
(1)
large multimodal model
(1)
vision-language model
(1)
hybrid system
(1)
sparse attention
(1)
visual token
(1)
linear temporal logic
(1)
token reduction
(1)
robot exploration
(1)
hybrid controller synthesis
(1)