Modelpublic

huawei-ai4math/Mathesis-Autoformalizer

sourceHugging Faceupdated 1y agoView on Hugging Face

0likes6downloads

Model Card

Merged Model

Base model: Kimina-Autoformalizer-7B-RL Adapter: DeepSeek-Prover-V1.5411/results0502e2/finalmodel/ Created with mergeloraquantized.py