Naproche-ZF: Lessons learned from implementing a new natural-language-oriented theorem prover. ~ Adrian De Lon. aitp-conference.org/2024/slides/... #ITP #NaprocheZF #Math
September 11, 2024 at 3:52 PM
Naproche-ZF: Lessons learned from implementing a new natural-language-oriented theorem prover. ~ Adrian De Lon. aitp-conference.org/2024/slides/... #ITP #NaprocheZF #Math
Readings shared September 12, 2024. jaalonso.github.io/vestigium/po... #ITP #Lean4 #IsabelleHOL #Coq #Math #LLMs
Readings shared September 12, 2024
The readings shared in Mastodon on September 12, 2024 are
Readings shared September 11, 2024. #ITP #IsabelleHOL #LeanProver #Coq #NaprocheZF #Natty #AlphaGeometry #AlphaProof #FunctionalProgramming #
jaalonso.github.io
September 13, 2024 at 5:35 AM
Readings shared September 12, 2024. jaalonso.github.io/vestigium/po... #ITP #Lean4 #IsabelleHOL #Coq #Math #LLMs
Readings shared September 11, 2024. jaalonso.github.io/vestigium/po... #ITP #IsabelleHOL #LeanProver #Coq #NaprocheZF #Natty #AlphaGeometry #AlphaProof #FunctionalProgramming #OCaml #Logic #Math #IMO #AI #MachineLearning #LLMs
Readings shared September 11, 2024
The readings shared in Mastodon on September 11, 2024 are
Readings shared September 10, 2024. #ITP #Lean4 #IsabelleHOL #Math #Calculemus #Haskell #Python #Math
Mathematical Olympiad (To the geometry
jaalonso.github.io
September 12, 2024 at 7:45 AM
Readings shared September 11, 2024. jaalonso.github.io/vestigium/po... #ITP #IsabelleHOL #LeanProver #Coq #NaprocheZF #Natty #AlphaGeometry #AlphaProof #FunctionalProgramming #OCaml #Logic #Math #IMO #AI #MachineLearning #LLMs