kinit/equational-reasoning-distance-to-goal download history
kinit/equational-reasoning-distance-to-goal is a 149M-parameter model model by kinit. In the last 30 days it was downloaded 9 times (5 in the last 7 days), and 56 times in total.
It ranks #850,671 on the Hub by monthly downloads.
It has 0 likes.
Open kinit/equational-reasoning-distance-to-goal on Hugging Face