tcwong/reprover_proving_random download history
tcwong/reprover_proving_random is a model model by tcwong. In the last 30 days it was downloaded 11 times (2 in the last 7 days), and 17 times in total.
It ranks #708,164 on the Hub by monthly downloads.
It has 0 likes.
It is an adapter of kaiyuy/leandojo-lean4-tacgen-byt5-small.