Beta
Explore
Marketplace
Neural Labs
Chat
Wallet
Docs
LeanFormalizer_CoT – AI Model by SJTULean | AlphaNeural AI
You can deploy this model and start earning money today!
SJTULean
/
LeanFormalizer_CoT
like
0
safetensors
qwen2
en
SJTULean/LeanStatement_CoT
Qwen/Qwen2.5-7B-Instruct
finetune
apache-2.0
us
Views
No views yet
Model card
Files and Versions
Community
API
Deploy
Wishing users to be clear that the model's formalization ability is (contrastivelty) relatively faible compared to LeanStatement_SFT and PPO, thus may only be considered as an experimental model.
