LeanDojo: Theorem Proving with Retrieval-Augmented Language Models — mentioned by westurner

Sat, 09 Dec 2023 05:52:00 GMT

> so he could very easily scramble a team of around 20 experienced Lean users What have you to say about methods such as these: "LeanDojo: Theorem Proving with Retrieval-Augmented Language Models" (2023) https://arxiv.org/abs/2306.15626 https://leandojo.org/ https://news.ycombinator.com/from?site=leandojo.org ( https://westurner.github.io/hnlog/#story-38435908 Ctrl-F "TheoremQA" (to find the citation and its references in my local personal knowledgebase HTML document with my comments archived in it), manually ) "TheoremQA: A Theorem-driven [STEM] Question Answering dataset" (2023)…

Paper and discussion history. A mention is not an endorsement.

LeanDojo: Theorem Proving with Retrieval-Augmented Language Models — mentioned by rprenger

Fri, 27 Oct 2023 17:08:19 GMT

You can have both! LeanDojo: Theorem Proving with Retrieval-Augmented Language Models https://arxiv.org/abs/2306.15626 (shameless plug)

Paper and discussion history. A mention is not an endorsement.

LeanDojo: Theorem Proving with Retrieval-Augmented Language Models · HackerPapers discussions

LeanDojo: Theorem Proving with Retrieval-Augmented Language Models — mentioned by westurner

LeanDojo: Theorem Proving with Retrieval-Augmented Language Models — mentioned by rprenger