Readings shared September 15, 2024
The readings shared in Mastodon on September 15, 2024 are
- Readings shared September 14, 2024. #ITP #LeanProver #Lean4 #IsabelleHOL #Agda #HOLLight #Math #Haskell #FunctionalProgramming #LambdaCalculus #LLMs
- LLMlean integrates LLMs and Lean for tactic suggestions, proof completion, and more. ~ Sean Welleck et als. #ITP #LeanProver #Lean4 #LLMs
- LeanDojo: Theorem Proving in Lean using Language Models. ~ Kaiyu Yang et als. #ITP #LeanProver #Lean4 #LLMs
- llmstep: [L]LM proofstep suggestions in Lean 4. ~ Sean Welleck et als. #ITP #LeanProver #Lean4 #LLMs