Hugging Face model: amitayusht/ProofWala-Lean
Author: amitayusht
Created: 2025-02-09 10:10:06
Last modified: 2025-02-09 10:18:52
Pipeline: text-generation
Likes: 0 | Downloads: 12
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 model relation: finetune
Base models: id: Salesforce/codet5-base
Card metadata:
license: mit
base_model: Salesforce/codet5-base
pipeline_tag: text2text-generation
tags: code, mathematics, theorem-proving