xl-zhao/formal_proof_generator_v4_iter3 download history

xl-zhao/formal_proof_generator_v4_iter3 is an 8.0B-parameter model model by xl-zhao. In the last 30 days it was downloaded 7 times (2 in the last 7 days), and 24 times in total.

It ranks #1,056,990 on the Hub by monthly downloads.

It has 0 likes.

Open xl-zhao/formal_proof_generator_v4_iter3 on Hugging Face

Sister project: Paper Pulse, the upvote history of every Hugging Face Daily Paper.