dassarthak18
/

phi3.5-fstar-lora

Text Generation

formal-verification

Model card Files Files and versions

Metrics Training metrics Community

phi3.5-fstar-lora / scripts

Commit History

Upload 15 files

4039572
verified

dassarthak18 commited on Nov 24, 2025