Laurent M.

This account is inactive, follow me on LinkedIn.

[Jia Li @JiaLi52524397]

Happy to introduce Kimina-Prover-72B ! Reaching 92.2% on miniF2F using Test time RL. It can solve IMO problems using more than 500 lines of Lean 4 code !

Check our blog post here:
https://t.co/QbrmoyYL9i
And play with our demo !
https://t.co/u0Wj0Id4vZ

[Jia Li @JiaLi52524397]

We believe formal math is the future.
🔥Introducing Kimina-Prover Preview, a Numina &
@Kimi_Moonshot collaboration, the first large formal reasoning model for Lean 4, achieving 80.78% miniF2F.
https://t.co/fNX7orQYeZ

[Kimi.ai @Kimi_Moonshot]

🔬 Sharing an early look at Kimina-Prover, our new Lean theorem proving model from our collaboration with Numina! @JiaLi52524397

🏆 Using an RL pipeline for proof exploration, Kimina-Prover Preview achieved 80.7% on the miniF2F — currently SOTA on this benchmark. We see promise in this approach for intuitive proof discovery.

Open-sourcing:
✅1.5B/7B distilled models
✅Custom autoformalizer
✅Revised miniF2F benchmark

Supporting the Lean community while we continue development. This is ongoing work, stay tuned for updates!

👉🏻 Full technical report on GitHub: 🔗 https://t.co/UZN29xJhKf

[Jia Li @JiaLi52524397]

🚀 NuminaMath 1.5 is here! 🚀
900k+ high-quality competition math problems with CoT solutions, new problem metadata, manually verified Olympiad problems, and more! 📚🏅
Check it out: 🔗 https://t.co/2BQP7qdxJ7

Thanks to @Will424408 @dsleo

[Laurent M. @_1000ml]

This account is inactive, follow me on LinkedIn https://t.co/M8uj2AcvO7

[Jia Li @JiaLi52524397]

Project Numina is thrilled to announce a €3m research grant from XTX Markets to support the development of open-source AI tools for mathematicians and general progress in AI reasoning!
https://t.co/wtm1skkFVu

[Laurent M. @_1000ml]

@wwwjim Human interactions ^^

[Laurent M. @_1000ml]

@BetterCallMedhi Curieux également !

[Kote @kotecinho]

New Renault 17 electric concept

[Laurent M. @_1000ml]

👀

[Procreate @Procreate]

We’re never going there. Creativity is made, not generated.
You can read more at https://t.co/9Fgh460KVu ✨

#procreate #noaiart

[Noesis @NoesisFr]

On est tous d'accord ❤️ #Paris2024

[Laurent M. @_1000ml]

🙏🇫🇷

[Laurent M. @_1000ml]

@rubxkub 🫶

[Paco Arnau @ciudadfutura]

Françoise Hardy, París, 1944-París, 2024.

[Laurent M. @_1000ml]

@andrea_fanelli @alessio_joseph Thanks for sharing

[Laurent M. @_1000ml]

@ZacharyWilliam_ @Starlink Dope, can you use it on a 12v power ?

[Juliette Briens @JulietteBriens]

🔴[ THREAD ] Les Jeux Olympiques devraient faire un retour aux sources et s’y tenir pour de bon.

▶️Oui c'est mon avis.
▶️Oui il y'a des paramètres à préciser.
▶️Oui c'est injuste (non.)

Mais comme on ne peut pas faire pire qu'aujourd'hui, je me permets ces hypothèses : ⬇️

[Laurent M. @_1000ml]

@concept_central @Shitty_Future

[Laurent M. @_1000ml]

@MargauxMoon Facile, un cours dans un atelier de menuiserie.