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

I’m thinking about running an undergrad creative/theoretical media studio later in the year around #TinyAI #smls #smolweb #tinyinternet all as resistance to hypernarratives of #bigtech. If anyone has ideas, wants to join in, co-design, give a guest talk, let me know!

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/

#GenAI #SMLs #MachineLearning #LM

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/

#AI #LLMs #SMls #GenAI #ML #MachineLearning