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

a1ac29f verified 3 months ago

6.23 kB

This file is stored with Xet . It is too big to display, but you can still download it.

( Raw pointer file )

Xet efficiently stores Large Files inside Git, intelligently splitting files into unique chunks and accelerating uploads and downloads. More info.

fvossel
/

Mistral-Small-24B-Instruct-nl-to-fol_gt_predicates