Bingxin Xu
3 papers · 2012–2025 · 2 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 ↓+2 more ↓ Show less ↑
π£ Hot Topic Early Bird π Academic Marathon Β· Half π Interdisciplinary Bridge Β· Silver π Conference Polyglot Β· Bronze πΊοΈ Taxonomy Completionist (15)
π§
Keyword Pioneer
π
Trend Setter
Top co-authors
Research topics
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)