Machine Learning

Stream: new members

[Alisson Matheus Silva]

Hi everyone!
I'm an ML engineer who got interested in Lean after hearing about it in security circles. I'm currently a student at this course: https://danieldia-dev.github.io/proofs/

I recently came across the following paper (arXiv:2512.07766), which inspired me to try formalizing ML algorithms, my main area of ​​work. I'm excited to learn more and hope to contribute to the community as I progress. Looking forward to meeting you all!

[Snir Broshi]

Woah, a guest lecture by Rida about Mathlib, very cool