['transformers', 'pytorch', 'llama', 'text-generation', 'lean4', 'statement-autoformalization', 'formal-mathematics', 'en', 'autotrain_compatible', 'text-generation-inference', 'endpoints_compatible']
['deepseek-ai/deepseek-math-7b-base']