Beta
Explore
Marketplace
Neural Labs
Chat
Wallet
Docs
LeanFormalizer_PPO – AI Model by SJTULean | AlphaNeural AI
You can deploy this model and start earning money today!
SJTULean
/
LeanFormalizer_PPO
like
0
safetensors
qwen2
en
SJTULean/LeanStatement_SFT
SJTULean/LeanStatement_RL
Qwen/Qwen2.5-7B-Instruct
finetune
apache-2.0
us
Views
No views yet
Model card
Files and Versions
Community
API
Deploy
No description or README available
