https://www.runpod.io/models/ai-mo-kimina-prover-preview-distill-7b
Run ai-mo/kimina-prover-preview-distill-7b with a custom API endpoint
With Runpod, you can run ai-mo-kimina-prover-preview-distill-7b in a few clicks by creating a Serverless API endpoint. Get started for free with a few clicks.
https://huggingface.co/collections/AI-MO/kimina-prover
Kimina Prover - a AI-MO Collection
State-of-the-Art Models for Formal Mathematical Reasoning https://huggingface.co/blog/AI-MO/kimina-prover
a aiprovermocollection
https://arxiv.org/abs/2504.11354v1
[2504.11354v1] Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement...
Abstract page for arXiv paper 2504.11354v1: Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning