Readings shared March 11, 2025. https://jaalonso.github.io/vestigium/posts/2025/03/11-readings_shared_03-11-25 #AI #ATP #Emacs #FormalVerification #Haskell #ITP #IsabelleHOL #Jape #LLMs #LeanProver #Logic #LogicProgramming #MAS #Mace #Math #Otter #PVS #Prolog #SMLs #SMT #Scala #Z3

Why do researchers care about small language models? ~ Stephen Ornes. https://www.quantamagazine.org/why-do-researchers-care-about-small-language-models-20250310/ #LLMs #SMLs

Why small language models are the next big thing in #AI

https://venturebeat.com/ai/why-small-language-models-are-the-next-big-thing-in-ai/

New Breakthrough Brings Matrix Multiplication Closer to Ideal

By eliminating a hidden inefficiency, computer scientists have come up with a new way to multiply large matrices that’s faster than ever.

https://www.quantamagazine.org/new-breakthrough-brings-matrix-multiplication-closer-to-ideal-20240307/