23.07.21 (Fri)
DreamTeacherํ ์คํ ๋ฆฌ๋๊ฐ ๋งํ๋ โ์ข์ ์ ๋ต์ด๋ ๋ฌด์์ธ๊ฐโ์ ์์ ์ ๋ฐ์ ์ผ๋ก ์ด๋์ด ๊ฐ๋ ๋ฐฉ๋ฒ์ด๋ ์ฑ ๋ต์ ์ ๋ต(Strategy)์ด๋ผ๊ณ ํ์ฃ . ์๋ง์ ์๋์ ๋ณํ๋ฅผ ํตํด
DreamTeacherํ ์คํ ๋ฆฌ๋๊ฐ ๋งํ๋ โ์ข์ ์ ๋ต์ด๋ ๋ฌด์์ธ๊ฐโ์ ์์ ์ ๋ฐ์ ์ผ๋ก ์ด๋์ด ๊ฐ๋ ๋ฐฉ๋ฒ์ด๋ ์ฑ ๋ต์ ์ ๋ต(Strategy)์ด๋ผ๊ณ ํ์ฃ . ์๋ง์ ์๋์ ๋ณํ๋ฅผ ํตํด
LeanDojo: Theorem Proving with Retrieval-Augmented Language ModelsKaiyuย YangLLM based proving assistantTowards Language Models That Can See: Computer Vision Through the