Las lecturas compartidas en Mastodon el 1 de julio de 2024 son

• Lecturas compartidas el 30 de junio de 2024. #ITP #IsabelleHOL #Math #Haskell #Python
• Formalized synthetic geometry. ~ André Hernández-Espiet. #PhDThesis #ITP #Lean4 #Math
• Verification using formalised mathematics and theorem proving of reinforcement and deep learning. ~ Mark Chevallier. #ITP #IsabelleHOL #DeepLearning
• AI for Mathematics (AI4Math) paper list. ~ Haocheng Ju. #AI #Math #ITP #MachineLearning