What are Normalizing Flows?
Вставка
- Опубліковано 24 чер 2024
- This short tutorial covers the basics of normalizing flows, a technique used in machine learning to build up complex probability distributions by transforming simple ones.
Timestamps:
0:00 - Intro
0:33 - Bijective transformation
1:18 - Change of variables formula
2:08 - Jacobian determinant
4:28 - Generative model likelihood
5:49 - Comparison with VAEs & GANs
6:52 - NICE architecture: triangular Jacobian & coupling layers
9:23 - Scaling matrix
10:26 - Extensions
Papers to check out:
NICE: Non-linear Independent Components Estimation (arxiv.org/abs/1410.8516)
Density estimation using Real NVP (arxiv.org/abs/1605.08803)
Glow: Generative Flow with Invertible 1x1 Convolutions (arxiv.org/abs/1807.03039)
Variational Inference with Normalizing Flows (arxiv.org/abs/1505.05770)
Improving Variational Inference with Inverse Autoregressive Flow (arxiv.org/abs/1606.04934)
Masked Autoregressive Flow for Density Estimation (arxiv.org/abs/1705.07057)
MADE: Masked Autoencoder for Distribution Estimation (arxiv.org/abs/1502.03509)
Discrete Flows: Invertible Generative Models of Discrete Data (arxiv.org/abs/1905.10347)
Earlier work on flows:
A family of non-parametric density estimation algorithms (math.nyu.edu/faculty/tabak/pu...)
Additional reading:
deepgenerativemodels.github.i...
blog.evjang.com/2018/01/nf1.html
lilianweng.github.io/lil-log/...
akosiorek.github.io/ml/2018/04...
Special thanks to Alex Beatson, Geoffrey Roeder, Yaniv Ovadia, Sachin Ravi, and Ryan Adams for helpful feedback on this video.
Video style inspired by 3Blue1Brown
Music: Trinkets by Vincent Rubinetti
Links:
UA-cam: / ariseffai
Twitter: / ari_seff
Homepage: www.ariseff.com
If you'd like to help support the channel (completely optional), you can donate a cup of coffee via the following:
Venmo: venmo.com/ariseff
PayPal: www.paypal.me/ariseff - Наука та технологія
The best video on the topic I have seen so far. Well done.
That's absolutely brilliant. Keep up the good work!
Awesome, thanks for the very clear explanation! Each step was quite "differentiable" in my head :)
This kind of video is super useful to the community! Thank you!
Wow... I'm speechless.
Thanks ! Amazing quality !
Incredible video and explanation. Felt like I was watching a 3B1B video. Thank you!
Yes, it uses very similar background music!
This is really beautiful. Keep up the amazing work!
Thank you so much for making this video! Best video on this topic I've watched so far
Fantastic video! Thanks for the hard work you put into these.
Great visualisation of a complicated concept and lucid explanation. Thanks :)
This is just such an elegant explanation.
This is a great video! Each time I watch it I learn something new.
Short, sweet, and comprehensive...
Thank you for this nice video, I've been struggling through some blog posts and this immediately cleared some things up for me. Great work!
Please put out more content! This was an amazing explanation.
this is so good, please don’t stop making videos!
Great explanation, it all makes sense now. Gonna keep come backing anytime I need to revise.
Incredible explanation!
Awesome video! Thanks for putting it together and sharing
you are amazing at explaining this concept in such a simple and understandable manner mate
Amazing explanations! I#m currently learning about normalising flows with a focus on the GLOW paper for a presentation and this video really gives a great overview und helps put different concepts together.
Great video! Was looking for a clear explanation and this did the trick.
This is neat. Awesome graphics.. Many thanks!
great video! This is definitely the best video on this topic.
Great video! Gonna have to watch it again.
This is some pretty high level pedagogy. Superbly done, thanks!
Amazing work, thank you very much!
Great video. I hope you release more like it! :)
Great video and visualisation!
Thank you for the nice breakdown!
Thanks for the great explanation!
Amazing explanation & presentation :)
Great video, well explained!
Very clear explanation. Thanks a lot :)
Great video, made a pretty difficult topic very clear!
the most clear I have see
Such an excellent video
Amazing! Thanks!
Awesome video! Thanks!
Great explanation!
Thank you so much for this!
awesome video! Like it so much!
Nice! This is absolutely breakfast-appropriate.
Amazing, Keep at it!
Thanks a lot!
Well explained!
amazing, keep it up
that was a great video!
Please make more videos like this
Please keep making videos
amazing
giving my 3blue1brown vibes. Amazing video.
Hands down the best intro to gen models one could ever had.
Awesome
cool video, thanks! What video editing tools do you use for the animations?
This one used a combination of matplotlib, keynote, & FCP. I've also used manim in other videos.
Great video! I spotted a minor terminology mistake: you are referring to the evidence using the term "likelihood", which might confuse some folks
Thanks for this explanation! Could you recommend on online class or other resource for getting a solid background in probability in order to better understand the math used to talk about generative models?
I am actually looking for the same thing, if you have found something interesting !
Great explanation!! I hope more videos are coming. I have a question, I don't really understand the benefit from the coupling layer example about "partitioning the variable z into 1:d and d+1:D". As explained in the video, you still need to ensure that the lower right sub-matrix is triangular to make the jacobian fully triangular. Then, isn't just more "intuitive" to say: the transformation of each component will "only be able to look at itself and past elements"? Then any x_i will only depend on z_{1:i} so the derivative for the rest will be zero. You still need to impose this condition on the "lower right sub-jacobian", then what's the value of the initial partitioning? Thanks!
Thank you and great question! The setup you describe is certainly one way of ensuring a fully triangular Jacobian and is the approach taken by autoregressive flows (e.g., arxiv.org/abs/1705.07057). But not only do we want a triangular Jacobian, we need to be able to efficiently compute its diagonal elements as well as the inverse of the overall transformation. The partitioning used by NICE is one way of yielding these two properties while still allowing for a high capacity transformation (as parameterized by m), which I think was underemphasized in the video. In the additive coupling layer, not only is the lower right sub-Jacobian triangular but it’s just the identity, giving us ones along the full diagonal. And the identity implemented by the first transformation (copying over z_{1:d} to x_{1:d}) guarantees g will be trivially invertible wrt 1st arg since the contribution from m can be recovered.
I looked at the RealNVP and I can't seem to find the part where the latent space is smaller than the input space. Where could I find it?
Hi! Amazing video and visualization. Curious to know if the software used for the graphics was manim?
Not in this particular video, but there are several manim animations in my other videos :)
Great video ! Can you also make a video on gaussian processes and gaussian copulas?
@8:12 I believe here is grossed over: it seems to be the essential part, how to "make sure the lower right block is triangular"?
I think there may be a typo at 5:48.
The individual Jacobians suddenly go to be taken wrt z_i instead of x_i, in the second line. That is not so, right?
How do we find such a function f that performs the transformation? Is it the neural network? If so, wouldn’t that just be a decoder?
Thank you for the great explanation. What I don't understand here is the reason why we are looking for p_theta(x). Shouldn't it be p_phi(x)? (by phi I mean any other parameter that is not theta) Since we are looking for the probability in the transformed space.
Thanks for the question. While using a single symbol for the model's parameters is a standard notation (e.g., see eq. 6 from arxiv.org/abs/1807.03039), I agree that using two distinct symbols would've been a bit clearer and indeed some papers do that instead :)
what is the connection of this to the reparametrization trick?
Why would adjacent pixels for an image have autoregressive property?
Are the animations and sound track inspired from a channel named 3Blue1Brown ?
I think the way you explained the probability relationships is a bit poor. For example p_t(x) = p_t(f_t^(-1)(x)) would imply the obvious desire for f_t to be the identity map. If x is a different r.v. then there is no reason one would make such a claim. The entire point is that the rv's may have different probabilities due to the map(and it may not even be injective) and so one has to scale the rv's probabilities which is where the jacobian comes in(as would a sum over the different branches).
It would have been better to start with two different rv's and show how one could transform one in to another and the issues that might creep. E.g., This is how one would normally try to solve the problem from first principles.
The way you set it up leaves a lot to be desired. E.g., while two rv's can easily take the same value they can have totally different probabilities which is the entire point of comparing them in this way. I don't know who would start off thinking two arbitrary rv's would have the same probabilities and sorta implying that then saying "oh wait, sike!" isn't really a good way to teach it.
So what is normalizing flow?
For Chinese readers, you can also refer to Doctor Li's lecture: ua-cam.com/video/uXY18nzdSsM/v-deo.html
Isn't the Jacobian here acting more like a Linear Transformation over the 2D example of unit square? How is it a Jacobian?
I seem to be confused on the nomenclature here.
Also because these are chained invertible transforms with a nonzero determinant, can't we just squash all like a Linear Transform into one?
Got that 3blue1brown background music
this totally has something to do with principle fibre bundles doesn't it..... this is that shit James Simons figured out back in the 70s
Hello everyone from 2024, it seems the flow-matching hype has begun
one mistake: NF cannot reduce dimensions!
The formula at 1:12 is wrong. The x on the right should be z.
Similar for other formulas later.
f is defined to be a mapping from Z to X. So f^{-1} takes x as input.
Bro it is really hard to follow. Nice mic and nice video editing, but the content is way to hard. Really really hard to follow.