Lecturas compartidas el 6 de mayo de 2024
#ITP #Lean4 #IsabelleHOL #Coq #Math #AI #LLMs #Programming
Buenos días
Las lecturas compartidas en Mastodon el 6 de mayo de 2024 son
Lecturas compartidas el 5 de mayo de 2024. #ITP #IsabelleHOL #Lean4 #AI #LLMs
#Calculemus: Demostraciones con Lean4 e Isabelle/HOL de "Si M es un monoide, x ∈ M y m, n ∈ N, entonces x^(m+n)=x^m · x^n". #ITP #Lean4 #IsabelleHOL #Math
Formalizing Pick's theorem in Isabelle/HOL. ~ Sage Binder, Katherine Kosaian. #ITP #IsabelleHOL #Math
Guided equality saturation. ~ Thomas Kœhler, Andrés Goens, Siddharth Bhat, Tobias Grosser, Phil Trinder, Michel Steuwer. #ITP #Lean4
An introduction to MathComp-Analysis. ~ Reynald Affeldt. #ITP #Coq #Math
Formalizing soundness proofs of linear PCP SNARKs. ~ Bolton Bailey, Andrew Miller. #ITP #Lean4
Automatic programming: Large language models and beyond. ~ Michael R. Lyu, Baishakhi Ray, Abhik Roychoudhury, Shin Hwei Tan, Patanamon Thongtanunam. #LLMs #Programming
También están en GitHub.
Saludos, José A.
"Sufrimos demasiado por lo poco que nos falta y gozamos poco de lo mucho que tenemos." ~ William Shakespeare (1565-1616).
