Beta

Explore
Marketplace
Neural Labs
Chat
Wallet
Docs

Beta

Explore Marketplace Neural Labs Wallet Docs

Build

Manage

My assets Manage wallet Organization

Community

Discord X (Twitter)Telegram

Docs Privacy Policy Terms and Conditions

Proud member of

Proud member of

Docs Cookie Policy

Privacy Policy Terms and Conditions

© 2026 AlphaNeural AI. All rights reserved.

formalalign_v1-mistral-mma-forml4 – AI Model by alisa-yingjia-wan | AlphaNeural AI

You can deploy this model and start earning money today!

alisa-yingjia-wan/
formalalign_v1-mistral-mma-forml4

like

0

Views

No views yet

FormalAlign: Mistral-based Mathematical Alignment Model

This model is trained using the FormalAlign approach for mathematical reasoning alignment.

Model Details

Base Model: Mistral
Training Method: FormalAlign with MMA and FormL4 datasets
Model Size: ~14GB
Architecture: Transformer with CLIP verifier

Usage

python

from transformers import AutoModelForCausalLM, AutoTokenizer

model = AutoModelForCausalLM.from_pretrained("your_username/formalalign-mistral-mma-forml4")
tokenizer = AutoTokenizer.from_pretrained("your_username/formalalign-mistral-mma-forml4")

Training Data

MMA (Mathematical Modeling and Analysis)
FormL4 (Formal Language for Mathematics)

Citation

If you use this model, please cite the FormalAlign paper.