Project Numina (@projectnumina) 's Twitter Profile
Project Numina

@projectnumina

Advancing open-source AI for Math

ID: 1941055839420526592

calendar_today04-07-2025 08:46:23

10 Tweet

193 Followers

11 Following

Project Numina (@projectnumina) 's Twitter Profile Photo
Project Numina
@projectnumina

2 months ago

This April, we released Kimina-Prover Preview. Stay tuned! Full release is coming soon 🚀 #AI4Math #FormalMath #LeanProver #AutomatedReasoning #TheoremProving #ProofAssistant #MachineLearning #AIResearch #OpenScience