Readings shared March 24, 2025. jaalonso.github.io/vestigium/po... #AI #FunctionalProgramming #Haskell #ITP #IsabelleHOL #LLMs #LeanProver #Lisp #LogicProgramming #MachineLearning #Math #Otter #Prolog #Prover9
jaalonso.github.io
Readings shared February 24, 2025
The readings shared in Bluesky on 24 March 2025 are
Formal verification of machine learning models in Lean. ~ Matéo H. Petel. #ITP #LeanProver #MachineLearning
Why Lisp syntax works. ~ Fernando Borre
