kaiyuy
/

NLProofS

Model card Files Files and versions

Commit History

Upload 40 files

37b3f48

kaiyuy commited on Jul 5, 2023

Upload 9 files

b3a6b8d

kaiyuy commited on Jul 4, 2023

initial commit

1d1b7b3

Kaiyu Yang commited on Jul 3, 2023