Christoph Spiegel
4 papers · 2023–2025 · 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
❓
The Questioner
Top co-authors
Research topics
Keywords
neural network pruning
(2)
model compression
(1)
out-of-distribution generalization
(1)
model averaging
(1)
sparse model
(1)
learning rate schedule
(1)
iterative magnitude pruning
(1)
hard constraint
(1)
neural network
(1)
ramsey theory
(1)
computer-assisted proof
(1)
extremal combinatorics
(1)
flag algebra
(1)
extremal graph theory
(1)
network retraining
(1)
gradient-based exploration
(1)
hadwiger-nelson problem
(1)
probabilistic loss function
(1)
combinatorial optimization
(1)
six-colorings
(1)