LeanDojo
#Fleeting_Notes
LeanDojo(LeanDojo)
RAG
LeanDojo: Theorem Proving with Retrieval-Augmented Language Models
【2306.15626】 LeanDojo: Theorem Proving with Retrieval-Augmented Language Models
確認用
Q. LeanDojo
調査用
Google.icon
LeanDojo(日)
Google.icon
Leandojo(英)
Wikipedia.icon
LeanDojo - Wikipedia(日)
LeanDojo(検索) - Wikipedia(日)
Wikipedia.icon
Leandojo - Wikipedia(英)
Leandojo(検索) - Wikipedia(英)