kinit/equational-reasoning-stepwise download history
kinit/equational-reasoning-stepwise is an 8.2B-parameter model model by kinit. In the last 30 days it was downloaded 3 times (0 in the last 7 days), and 41 times in total.
It ranks #1,331,798 on the Hub by monthly downloads.
It has 0 likes.