['transformers', 'pytorch', 'internlm2', 'feature-extraction', 'lean4', 'statement-autoformalization', 'formal-mathematics', 'text-generation', 'conversational', 'custom_code', 'en']
['deepseek-ai/deepseek-math-7b-base']