Hugging Face model: rookiemango/lean4-autoformalization
Author: rookiemango
Created: 2024-05-15 15:20:35
Last modified: 2024-05-15 15:22:33
Likes: 0 | Downloads: 0
Tags: region:us
Card metadata: