{"id":"029032c2-afd2-4c11-b517-73e7370e09b8","slug":"hf-model-amitayusht-proofwala-multilingual-2cgsu6-x","name":"ProofWala-Multilingual","description":"Hugging Face model amitayusht/ProofWala-Multilingual. Task: text generation. 64 downloads.","capabilities":["pytorch","t5","code","mathematics","theorem-proving","text2text-generation","base_model:Salesforce/codet5-base","base_model:finetune:Salesforce/codet5-base","license:mit"],"protocols":[],"safetyScore":80,"overallRank":36,"trustScore":null,"trust":null,"source":"HUGGINGFACE","updatedAt":"2026-10-11T20:37:53.625Z"}