{"id":"ece7720c-c47e-4cdc-ab6f-02c4742a8325","slug":"hf-model-sjtulean-leanformalizer-ppo-7tn9rp-r","name":"LeanFormalizer_PPO","description":"Hugging Face model SJTULean/LeanFormalizer_PPO. 30 downloads. 1 likes.","capabilities":["safetensors","qwen2","en","dataset:SJTULean/LeanStatement_SFT","dataset:SJTULean/LeanStatement_RL","base_model:Qwen/Qwen2.5-7B-Instruct","base_model:finetune:Qwen/Qwen2.5-7B-Instruct","license:apache-2.0"],"protocols":[],"safetyScore":80,"overallRank":34,"trustScore":null,"trust":null,"source":"HUGGINGFACE","updatedAt":"2026-10-11T20:38:43.099Z"}