CoolFace
Modelpublic

formulae/mita-v1.2-7b-2-24-2025

sourceHugging Faceupdated 2y agoView on Hugging Face
0likes14downloads
Model Card

[image]

Formulae/MITA-V1.2-7B-2-24-2025

Overview

Formulae/MITA-V1.2-7B is designed primarily for mathematics, with some capability in coding. Built using the Linear DARE merge method, this model blends powerful mathematical reasoning with computational accuracy.

RankTypeModelAverageIFEvalBBHMATHGPQAMUSRMMLU-PROCOโ‚‚ Cost
914๐Ÿคformulae/mita-v1.1-7b-2-24-202529.48 %34.12 %35.44 %43.50 %8.61 %16.06 %39.15 %0.67 kg
1403๐Ÿคformulae/mita-v1.2-7b-2-24-202524.86 %25.64 %28.41 %48.79 %7.49 %12.63 %26.21 %0.64 kg

Merge Details

What is DARE?

DARE (Density-Aware Residual Estimation) is an advanced model merging technique designed to preserve task-specific knowledge. Unlike simple model averaging, DARE adjusts parameter density to ensure that merged models retain their specialized skills while improving general performance.

๐Ÿ“– Reference: DARE Paper

This merge is also inspired by task arithmetic, which shows that models can be linearly combined to enhance capabilities in specialized domains.

๐Ÿ“– Reference: Task Arithmetic Paper

Capabilities

โœ… Advanced Mathematics โ€“ Strong problem-solving, algebra, calculus, and theorem applications. โœ… Limited Coding Support โ€“ Can handle basic programming tasks but is not optimized for complex software development.

Limitations & Risks

โš  Hallucinations in Code โ€“ Not a coding-specialized model, may produce incorrect or insecure implementations. โš  Arithmetic Errors โ€“ While highly capable, the model still makes occasional miscalculations.

Usage Disclaimer

Formulae/MITA-V1.2-7B is an experimental mathematical model. For verified accuracy, always cross-check results with reliable tools.

Contribute

We welcome contributions, including quantizations, fine-tuning, and further enhancements.

๐Ÿ’ก Support Us: Buy Me a Coffee

๐Ÿ“ฉ Contact: formulaeresearch@gmail.com


Future Development

This is part of the MITA series. Future iterations will integrate MoE (Mixture of Experts) for even more specialized reasoning across multiple domains.

Made possible with [MergeKit](https://github.com/arcee-ai/mergekit).