OProver
/

Oprover-8B

Model card Files Files and versions

Oprover-8B / README.md

OProver's picture

initial commit

56e51e4 verified 7 days ago

|

history blame contribute delete

28 Bytes

license: apache-2.0