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