Lecturas compartidas el 25 de marzo de 2024
#AI #CategoryTheory #FormalVerification #ITP #IsabelleHOL #KRR #LLMs #Math #Mathematica #Python #SetTheory
Buenos días
Las lecturas compartidas en Mastodon el 25 de marzo de 2024 son
Lecturas compartidas el 24 de marzo de 2024. #AI #CompSci #FunctionalProgramming #ITP #Lean4 #LeanProver #LogicProgramming #NeuralNetwork #PVS #Prolog #Python
Finite set theory in Python. ~ Philip Zucker (@sandmouth@types.pl). #Python #SetTheory
Continued fractions (in Isabelle/HOL). ~ Manuel Eberl (@pruvisto@graz.social). #ITP #IsabelleHOL #Math
Applied category theory in the Wolfram Language using Categorica I: diagrams, functors and fibrations. ~ Jonathan Gorard. #CategoryTheory #Mathematica
Lemur: Integrating Large Language Models in automated program verification. ~ Haoze Wu, Clark Barrett, Nina Narodytska. #FormalVerification #LLMs
A knowledge engineering primer. ~ Agnieszka Ławrynowicz. #AI #KRR
También están en GitHub.
Saludos, José A.
"Distraerse significa casi siempre cambiar de aburrimiento." ~ Charles Régismanset (1877-1945).
