AI-MO
/

Kimina-Autoformalizer-7B

Text Generation

text-generation-inference

Model card Files Files and versions Community

Kimina-Autoformalizer-7B

Commit History

Update README.md

ddd47cb
verified

liyongsea commited on Apr 16

Update README.md

1eb9256
verified

liyongsea commited on Apr 16

Update README.md

cf72f10
verified

mertunsal commited on Apr 14

Update README.md

53b87ed
verified

mertunsal commited on Apr 14

Update README.md

229c624
verified

mertunsal commited on Apr 14

Update README.md

0873335
verified

mertunsal commited on Apr 13

Upload tokenizer

0645cdf
verified

mertunsal commited on Apr 13

Upload Qwen2ForCausalLM

7ea24db
verified

mertunsal commited on Apr 13

initial commit

78c6bea
verified

mertunsal commited on Apr 13