Commit History

Initial upload of the Mistral 24B model delta weights for NL to FOL fomrmalization
a1ac29f
verified

fvossel commited on

initial commit
1073ab1
verified

fvossel commited on