Lecturas compartidas el 26 de marzo de 2024
#ChatGPT #ITP #IsabelleZF #LLMs #Math #Programming #Python
Buenos días
Las lecturas compartidas en Mastodon el 26 de marzo de 2024 son
Lecturas compartidas el 25 de marzo de 2024. #AI #CategoryTheory #FormalVerification #ITP #IsabelleHOL #KRR #LLMs #Math #Mathematica #Python #SetTheory
IsarMathLib (Proofs by humans, for humans, formally verified by Isabelle/ZF proof assistant). ~ Slawomir Kolodynski. #ITP #IsabelleZF #Math
IsarMathLib 1.29.0: Modules and vector spaces. ~ Slawomir Kolodynski. #ITP #IsabelleZF #Math
Prompt engineering: A practical example. ~ Martin Breuss. #LLMs #ChatGPT #Python #Programming
También están en GitHub.
Saludos, José A.
"Prefiero una locura que me entusiasme a una verdad que me abata." ~ Christoph Wieland (1733-1813).
