Lecturas compartidas el 21 de marzo de 2024

#AI #Agda #CompSci #Coq #Education #FunctionalProgramming #Haskell #ITP #LLMs #Logic #Math #Reasoning

Buenos días

Las lecturas compartidas en Mastodon el 21 de marzo de 2024 son

• Lecturas compartidas el 20 de marzo de 2024. #Coq #Dafny #FormalVerification #HOL #ITP #LeanProver #Lisa #Mathlib

• Enhancing formal theorem proving: A comprehensive dataset for training AI models on Coq code. ~ Andreas Florath. #ITP #Coq #AI #LLMs

• The functor of points approach to schemes in Cubical Agda. ~ Max Zeuner, Matthias Hutzler. #ITP #Agda

• Creating a GUI application in Haskell. ~ Mark Karpov, Jorge Galarza. #Haskell #FunctionalProgramming

• The Haskell Unfolder Episode 21¡2: foldr-build fusion. ~ Edsko de Vries (@EdskoDeVries), Andres Löh (@kosmikus@functional.cafe). #Haskell #FunctionalProgramming

• Introduction to computation: Haskell, logic and automata. ~ D. Sannella. M Fourman, H. Peng and P. Wadler. #Haskell #FunctionalProgramming #Logic #Math #CompSci

• Phenomenal yet puzzling: Testing inductive reasoning capabilities of language models with hypothesis refinement. ~ Linlu Qiu et als. #AI #LLMs #Reasoning

• Generative AI and CS education (Increased knowledge sharing is helping CS educators and researchers accelerate change in computing education). ~ Maggie Johnson. #AI #Education

También están en GitHub.

Saludos, José A.

---

"Cuando he estado trabajando todo el día, un buen atardecer me sale al encuentro." ~ Johann Wolfgang von Goethe (1749-1832).