login sign up

LeanDojo: Theorem Proving in Lean Using LLMs

news.ycombinator.com
saved by
0 people
related read on
LeanDojo: Theorem Proving in Lean Using LLMs discussion