Hacker News new | past | comments | ask | show | jobs | submit | from login

LeanDojo: Theorem Proving in Lean Using LLMs (leandojo.org) 170 points by aseg 9 months ago | past | 53 comments LeanDojo: Theorem Proving in Lean Using Language Models (leandojo.org) 3 points by hendler 9 months ago | past LeanDojo: Theorem Proving with Retrieval-Augmented Language Models (leandojo.org) 1 point by panabee on Oct 30, 2023 | past LeanDojo: Theorem Proving with Retrieval-Augmented Language Models (leandojo.org) 1 point by jasondavies on Aug 31, 2023 | past LeanDojo: Theorem Proving with Retrieval-Augmented Language Models (leandojo.org) 3 points by hackandthink on Aug 16, 2023 | past | 1 comment LeanDojo: Theorem Proving with Retrieval-Augmented Language Models (leandojo.org) 5 points by xvedejas on June 30, 2023 | past LeanDojo: Theorem Proving in Lean Using LLMs (leandojo.org) 2 points by aseg on June 29, 2023 | past

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact Search: