8  Downloads Updated  7 months 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`.