LINKED LIST [txt mode] ▸ LeanDojo: Theorem Proving in Lean Usi...
home explore | log in

LeanDojo: Theorem Proving in Lean Using LLMs

news.ycombinator.com · 2026-10-06 · 0 upvotes

log in to save, upvote or flag this.

─── In 0 lists ─────────────────────────────────────────

(not in any lists yet)

related read on:

* LeanDojo: Theorem Proving in Lean Using LLMs (discussion)
privacy | terms | regular mode