Home › Tool Registry › Large Language Model › Kimina-Prover
Kimina-Prover
by Moonshot AI
Visit Website ↗
1
Total mentions
1
Articles
1
Versions tracked
Nov 2026
Last mentioned
unknown (×1)
← Back to registry
Articles mentioning Kimina-Prover (1)
1
Kimina-Prover_Test-Time_RL_Search_for_Formal_Reasoning
Nov 11, 2026 vunknown The article title introduces Kimina-Prover as a large formal reasoning model that applies test-time reinforcement learning search.