AK123321
/

pl-leancopilot-1

Model card Files Files and versions

AK123321 commited on Aug 4, 2024

Commit

c4c9da9

·

verified ·

1 Parent(s): 89e3fbf

Rename mathlib4_29dcec074de168ac2bf835a77ef68bbe069194c5.ckpt to model.ckpt

Files changed (1) hide show

mathlib4_29dcec074de168ac2bf835a77ef68bbe069194c5.ckpt → model.ckpt +0 -0

mathlib4_29dcec074de168ac2bf835a77ef68bbe069194c5.ckpt → model.ckpt RENAMED Viewed

File without changes