-
Moonshine/마이크로 메인 · moonshine-ai/moonshine
moonshine/micro at main · moonshine-ai/moonshine
<p>Article URL: <a href="https://github.com/moonshine-ai/moonshine/tree/main/micro">https://github.com/moonshine-ai/moonshine/tree/main/micro</a></p> <p>Comments URL: <a href="http…
-
Leanstral 1.5: 모두를 위한 증명
Leanstral 1.5: Proof abundance for all
<p>Article URL: <a href="https://mistral.ai/news/leanstral-1-5/">https://mistral.ai/news/leanstral-1-5/</a></p> <p>Comments URL: <a href="https://news.ycombinator.com/item?id=48780…
-
Leanstral 1.5
<p>Article URL: <a href="https://docs.mistral.ai/models/model-cards/leanstral-1-5-26-06">https://docs.mistral.ai/models/model-cards/leanstral-1-5-26-06</a></p> <p>Comments URL: <a …