Hugging Face model: SJTULean/LeanFormalizer_Reward
Author: SJTULean
Created: 2024-12-24 02:40:52
Last modified: 2024-12-25 02:32:41
Likes: 0 | Downloads: 0
Tags: en, dataset:SJTULean/LeanStatement_RL, arxiv:1910.09700, base_model:SJTULean/LeanFormalizer_SFT, base_model:finetune:SJTULean/LeanFormalizer_SFT, license:apache-2.0, region:us
Base model relation: finetune
Base models: id: SJTULean/LeanFormalizer_SFT
Card metadata:
license: apache-2.0
datasets: SJTULean/LeanStatement_RL
language: en
base_model: SJTULean/LeanFormalizer_SFT