Our new open-source LLMs for Lean 4 theorem proving. See our post in X https://x.com/hungsuzh143318/status/1848604474555961804
Oct 27, 2024