Slim205
/

Lean-conjecturer

Model card Files Files and versions

Lean-conjecturer / README.md

Commit History

Update README.md

480d353
verified

Slim205 commited on Sep 1, 2025

Update README.md

1b052c1
verified

Slim205 commited on Sep 1, 2025

Update README.md

514dcf5
verified

Slim205 commited on Sep 1, 2025

Update README.md

6d95f34
verified

Slim205 commited on Sep 1, 2025

Update README.md

ff23930
verified

Slim205 commited on Sep 1, 2025

Upload LlamaForCausalLM

2f2ff9f
verified

Slim205 commited on Sep 1, 2025