AK123321
/

pl-leancopilot-1

Model card Files Files and versions

pl-leancopilot-1

Commit History

Rename mathlib4_29dcec074de168ac2bf835a77ef68bbe069194c5.ckpt to model.ckpt

c4c9da9
verified

AK123321 commited on Aug 4, 2024

Upload mathlib4_29dcec074de168ac2bf835a77ef68bbe069194c5.ckpt

89e3fbf
verified

AK123321 commited on Aug 3, 2024

initial commit

5cdc7dc
verified

AK123321 commited on Aug 3, 2024