Las lecturas compartidas en Mastodon el 20 de julio de 2024 son

• Lecturas compartidas el 19 de julio de 2024. #ITP #Lean4 #IsabelleHOL #Math #FunctionalProgramming #Haskell
• Lean-STaR: Learning to interleave thinking and proving. ~ Haohan Lin, Zhiqing Sun, Yiming Yang, Sean Welleck. #ITP #Lean4 #LLMs
• PutnamBench: Evaluating neural theorem-provers on the Putnam mathematical competition. ~ George Tsoukalas et als. #LLMs #ITP #Lean4 #IsabelleHOL #Coq
• Haskelite: A tracing interpreter based on a pattern-matching calculus. ~ Pedro Vasconcelos, Rodrigo Marques. #FunctionalProgramming #Haskell
• Higher-order specifications for deductive synthesis of programs with pointers. ~ David Young et als. #FunctionalProgramming #Pika
• The significance of symbolic logic for scientific education. ~ André Platzer. #Logic #CompSci