What's Here? - ML

I’ll be adding notes on interesting things in ML systems and latest developments/research in ML including stuff but not limited to LLMs, ML compilers, formal verification etc.