home.social

#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
  3. José A. Alonso @[email protected] ·

    Symbolic computation for all the fun. ~ Chad E. Brown, Mikoláš Janota, Mirek Olšák. arxiv.org/abs/2404.12048 #AIMO #ATP #SMT #Math

    #math #smt #atp #aimo
  4. Simon Strandgaard @[email protected] ·

    AIMO. Crazy development already after 2 days since the contest started.

    Now there is a new 1st place that solves 5 of the tasks!
    kaggle.com/competitions/ai-mat
    #aimo #ai #math #olympics #agi #kaggle

    #aimo #ai #math #olympics #agi #kaggle