Initial upload of the Mistral 24B model delta weights for NL to FOL fomrmalization a1ac29f verified fvossel commited on Sep 3