Slim205
/

Lean-conjecturer

Model card Files Files and versions

Lean-conjecturer

Commit History

Update README.md

480d353
verified

Slim205 commited on Sep 1, 2025

Update README.md

1b052c1
verified

Slim205 commited on Sep 1, 2025

Upload photo.png

d8f151f
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 tokenizer

300f1a6
verified

Slim205 commited on Sep 1, 2025

Upload LlamaForCausalLM

2f2ff9f
verified

Slim205 commited on Sep 1, 2025

initial commit

9bb7574
verified

Slim205 commited on Sep 1, 2025