home.social

#naprochezf — Public Fediverse posts

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

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

    Readings shared September 11, 2024. jaalonso.github.io/vestigium/p #ITP #IsabelleHOL #LeanProver #Coq #NaprocheZF #Natty #AlphaGeometry #AlphaProof #FunctionalProgramming #OCaml #Logic #Math #IMO #AI #MachineLearning #LLMs

    #llms #machinelearning #ai #imo #math #logic
  2. José A. Alonso @[email protected] ·

    Naproche-ZF: Lessons learned from implementing a new natural-language-oriented theorem prover. ~ Adrian De Lon. aitp-conference.org/2024/slide #ITP #NaprocheZF #Math

    #math #naprochezf #itp