home.social

#logig — Public Fediverse posts

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

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

    Readings shared March 4, 2025. jaalonso.github.io/vestigium/p #AI #AlphaGeometry #CompSci #ITP #LLMs #LeanProver #Logig #Math #Programming #Reasoning #SMT

    #smt #reasoning #programming #math #logig #leanprover