15  Downloads Updated  1 year ago

Kimina-Autoformalizer-7B is an autoformalizer model developed by Project Numina, focusing on translating natural language descriptions of competition style problems to Lean 4 code ending with `by sorry`.