๐Ÿ“ข ๊ฒ€์ƒ‰ ๊ธฐ๋Šฅ ์ถ”๊ฐ€ ์˜ˆ์ •

self-supervise

2 articles

23.07.21 (Fri)

DreamTeacherํ† ์ŠคํŒ€ ๋ฆฌ๋”๊ฐ€ ๋งํ•˜๋Š” โ€˜์ข‹์€ ์ „๋žต์ด๋ž€ ๋ฌด์—‡์ธ๊ฐ€โ€™์ „์Ÿ์„ ์ „๋ฐ˜์ ์œผ๋กœ ์ด๋Œ์–ด ๊ฐ€๋Š” ๋ฐฉ๋ฒ•์ด๋‚˜ ์ฑ…๋žต์„ ์ „๋žต(Strategy)์ด๋ผ๊ณ  ํ•˜์ฃ . ์ˆ˜๋งŽ์€ ์‹œ๋„์™€ ๋ณ€ํ™”๋ฅผ ํ†ตํ•ด

23.07.03 (Mon)

LeanDojo: Theorem Proving with Retrieval-Augmented Language ModelsKaiyuย YangLLM based proving assistantTowards Language Models That Can See: Computer Vision Through the

Great! Youโ€™ve successfully signed up.

Welcome back! You've successfully signed in.

You've successfully subscribed to zoomg.

Success! Check your email for magic link to sign-in.

Success! Your billing info has been updated.

Your billing was not updated.