home.social
Sign in Create account

#aimo — Public Fediverse posts

Live and recent posts from across the Fediverse tagged #aimo, aggregated by home.social.

  1. José A. Alonso @[email protected] ·

    Readings shared November 29, 2024. jaalonso.github.io/vestigium/p #ITP #Lean4 #IsabelleHOL #Logic #Math #Calculemus #MachineLearning #LLMs #AIMO #AlphaProof #AlphaGeometry #Haskell #FunctionalProgramming #Programming #FormalVerification #Dafny

    #dafny #formalverification #programming #functionalprogramming #haskell #alphageometry
  2. José A. Alonso @[email protected] ·

    Machine learning and mathematics (The twin catalysts poised to accelerate twenty-first century mathematics: formalisation and machine learning). ~ Harald Carlens. joltml.com/ml-mathematics/ #Math #ITP #Lean4 #MachineLearning #LLMs #AIMO #AlphaProof #AlphaGeometry

    #alphageometry #alphaproof #aimo #llms #machinelearning #lean4