liuyao

5 ms·

1. 1.▲
   by liuyao 6y ago

   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 the matrix (or tensor
2. 2.▲
   by liuyao 7y ago

   Come on, if I defined f(x)=x^2, and later used f(y) for y=x/2 or something, do you have problem with that?
3. 3.▲
   by liuyao 7y ago

   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 definable
4. 4.▲
   by liuyao 7y ago

   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 connections. (He prov
5. 5.▲
   by liuyao 7y ago

   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 analysis (Banach