Model: amitayusht/ProofWala-Lean
Author: amitayusht
Pipeline: text-generation
Tags: pytorch, t5, code, mathematics, theorem-proving, text2text-generation, base_model:Salesforce/codet5-base, base_model:finetune:Salesforce/codet5-base, license:mit, region:us
Base models (finetune): id: Salesforce/codet5-base
Card metadata: license: mit
base_model: Salesforce/codet5-base
pipeline_tag: text2text-generation
tags: code, mathematics, theorem-proving
Likes: 0 | All-time downloads: 15
Created: 2025-02-09 10:10:06