#Exercitium : Descomposiciones triangulares. jaalonso.github.io/exercitium/pos… #Haskell #Python #Matemáticas

IsarMathLib 1.30.0: Modules and update to Isabelle2024. slawekk.wordpress.com/2024/05/28/isa… #ITP #Isabelle #Math

#Calculemus : Demostraciones con Lean4 e Isabelle/HOL de 'La paradoja del barbero'. jaalonso.github.io/calculemus/pos… #ITP #Lean4 #IsabelleHOL #Math

Lecturas compartidas el 27 de mayo de 2024. jaalonso.github.io/vestigium/post… #ITP #Lean4 #IsabelleHOL #Math #FunctionalProgramming #Haskell #Autoformalisation #LLMs

Autoformalizing euclidean geometry. ~ Logan Murphy, Kaiyu Yang, Jialiang Sun, Zhaoyu Li, Anima Anandkumar, Xujie Si. arxiv.org/abs/2405.17216 #Autoformalisation #LLMs #ITP #Lean4

Coding in Haskell: Writing and debugging megaparsec parsers for grep. youtu.be/Yzy2-X3TB9Q #FunctionalProgramming #Haskell

#MULCIA : Category theory / type theory / machine learning research posts at Symbolica tinyurl.com/4vrkmh2v #PhD #PostDoc #CompSci

#MULCIA : PhD position in program verification at Radboud University Nijmegen. tinyurl.com/yk3p3h4j #PhD #CompSci

#MULCIA : PhD/PostDoc position in Formal Methods at the University of Konstanz. tinyurl.com/ycx9dmmn #PhD #PostDoc #CompSci

#Calculemus : Demostraciones con Lean4 e Isabelle/HOL de 'Las sucesiones convergentes están acotadas'. jaalonso.github.io/calculemus/pos… #ITP #Lean4 #IsabelleHOL #Math

Lecturas compartidas el 26 de mayo de 2024. jaalonso.github.io/vestigium/post… #ITP #Lean4 #IsabelleHOL #Math #AI #MachineLearning

How to calculate pi in a new way. ~ Mahdi Sasar (@[email protected]). mahdi-sasar.github.io/001-Calculate-… #Math

Machine Learning and Information Theory Concepts towards an AI Mathematician. ~ Yoshua Bengio and Nikolay Malkin. ams.org/journals/bull/… #Math #AI #ITP

Automated mathematics and the reconfiguration of proof and labor. ~ Rodrigo Ochigame. ams.org/journals/bull/… #Math #ITP

Working with machines in mathematics. ~ Alex Davies. ams.org/journals/bull/… #Math #MachineLearning

AlephZero and mathematical experience. ~ Simon DeDeo. ams.org/journals/bull/… #Math #AI #ITP

Poincaré on the value of reasoning machines. ~ Colin McLarty. ams.org/journals/bull/… #Math #ITP

Proofs for a price: Tomorrow’s ultra-rigorous mathematical culture. ~ Silvia De Toffoli. ams.org/journals/bull/… #Math #ITP

#Calculemus : Demostraciones con Lean4 e Isabelle/HOL de 'Un número es par si y solo si lo es su cuadrado'. jaalonso.github.io/calculemus/pos… #ITP #Lean4 #IsabelleHOL #Math

Lecturas compartidas el 26 de mayo de 2024. jaalonso.github.io/vestigium/post… #ITP #Lean4 #IsabelleHOL #Go #Math