PulseAugur
EN
LIVE 11:58:24
ENTITY Leanstral-1.5-119B-A6B

Leanstral-1.5-119B-A6B

PulseAugur coverage of Leanstral-1.5-119B-A6B — every cluster mentioning Leanstral-1.5-119B-A6B across labs, papers, and developer communities, ranked by signal.

Show in brief
Total · 30d
0
1 over 90d
Releases · 30d
0
0 over 90d
Papers · 30d
0
0 over 90d
TIER MIX · 90D
TOPICS
RECENT · PAGE 1/1 · 1 TOTAL
  1. FRONTIER RELEASE · CL_119066 ·

    Mistral AI releases Leanstral 1.5 for formal verification tasks · 5 sources tracked

    Mistral AI has released Leanstral 1.5, an open-source code agent model designed for the Lean 4 programming language and formal verification tasks. This updated model boasts 119 billion total parameters with 6.5 billion …