🧑‍🏫 60 Implementations/tutorials of deep learning papers with side-by-side notes 📝; including transformers (original, xl, switch, feedback, vit, ...), optimizers (adam, adabelief, sophia, ...), gan…

Tutorial on neural theorem proving

Julia hybrid constraint programming solver enhanced by a reinforcement learning driven search.

https://albertqjiang.github.io/Portal-to-ISAbelle/

An Infinitely Large Napkin