youoy

12 ms·

151.
by youoy 2y ago
Thanks for the answer! I feel that we can meet in the middle. For example, the distil paper says: "In particular, we focus our efforts on knowledge distillation (Hinton et al., 2015), which replaces the one-hot vector seen at each toke
152.
by youoy 2y ago
This, and that when you get involved in politics, a big percentage of people is going to scrutinize you more thoroughly. Before, it was fun to believe everything he said, but now it is less so.
153.
by youoy 2y ago
My bad then, I have not seen it done successfully yet. Do you happen to have some references at hand? I would be more than grateful! Thanks in advance!
154.
by youoy 2y ago
From the abstract: > Proof assistants like Lean have revolutionized mathematical proof verification... > Both the synthetic dataset and the model will be made available to facilitate further research in this promising field. Please d
155.
by youoy 2y ago
Pearl's ladder of causation (in maths and AI research) already tells you that causation cannot only be inferred from data alone. If you only have data, then you cannot generally go beyond correlations. This can be solved either by huma
156.
by youoy 2y ago
The quality of your model is going to match at best the quality of the data. If you use yesterday's model to label data/create a synthetic dataset, then the new model built on top of it cannot go beyond that. If it can, then it ca
157.
by youoy 2y ago
If you like ML, this is also related with the results of this paper [0], where they show that learning in high dimensions amounts to extrapolation, as opposed to interpolation. Intuitively I think of this as the fact that points in the sphe
158.
by youoy 2y ago
Quick questions por people that have used it: is it good for technical searches? Like math/programming? At some point I tried another search engine but I ended up going back to Google for those. For what type of topics do you find your
159.
by youoy 2y ago
> Each small effort, each moment of renewed attention, builds upon the last. Over time, these moments accumulate, and what was once difficult becomes second nature. This! One thing is to find an oasis of attention from time to time, but
160.
by youoy 2y ago
For me contradictions are unavoidable when speaking about the mind. Usually the aim is not to give you specific objective truths, but to evoke something in your mind that feels evidently true to you. That is why usually the most effective c
161.
by youoy 2y ago
I feel that here the authors think about mathematics as just the language and not what it talks about. We know at least since Gödel that mathematics is more than just the formal system. I even remember going to a talk by Gromov and he getti