I thought something as simple as this would have been tried out long ago. Here are some related ideas. Instead of pruning channels, one should try to prune connections. Say with a 64x64x3x3 conv layer, it might be that…
You can weaken "completeness" though. In each of its many manifestations, completeness asks for the existence of something for all subsets (sequences, functions, ...) of reals. We can instead ask for the ones that are…
Great example. Weil is said to be the one who was deeply immersed in both the geometric tradition of the Italians and the functional perspective of Riemann, so he was in a unique position to see many analogies and deep…
These kind of heuristics are supposedly a prerequisite to the formal study, but sadly most textbooks don't spend the time talking about it (since logically it's not necessary). Instead of reading up on functional…
I thought something as simple as this would have been tried out long ago. Here are some related ideas. Instead of pruning channels, one should try to prune connections. Say with a 64x64x3x3 conv layer, it might be that…
You can weaken "completeness" though. In each of its many manifestations, completeness asks for the existence of something for all subsets (sequences, functions, ...) of reals. We can instead ask for the ones that are…
Great example. Weil is said to be the one who was deeply immersed in both the geometric tradition of the Italians and the functional perspective of Riemann, so he was in a unique position to see many analogies and deep…
These kind of heuristics are supposedly a prerequisite to the formal study, but sadly most textbooks don't spend the time talking about it (since logically it's not necessary). Instead of reading up on functional…