cd/entity/Timothee LacroixΒ· homeβ€Ί entitiesβ€Ί Timothee Lacroix
grep -l @timothee lacroix /news/*.json | wc -l β†’ 4

Timothee Lacroix

mentions 4 type Person feed RSS

// recent coverage 4 mentions

04:11
2026-07-04
runtimewire.com
artificial-intelligence

Mistral opens Leanstral 1.5 in a bet on machine-checked AI

Mistral AI released Leanstral 1.5, an open-source Lean 4 proof model with 119 billion total parameters, on July 2. The model achieves state-of-the-art results on theorem-proving benchmarks and is posi…

// co-occurs with top 8 entities
// topics top 6 topics