Hugging Face model: yeahrmek/arxiv-math-lean
Author: yeahrmek
Created: 2022-10-27 12:23:41
Last modified: 2022-10-27 14:05:48
Likes: 0 | Downloads: 0
Tags: region:us
Card metadata: