ANTPG/deepseek-prover-isar
Text Generation • 7B • Updated • 25
Edit Models filters
Showing models from
Tasks
Parameters
Inference Providers
Hardware
Models
8
Active filters: ANTPG
ANTPG/deepseek-prover-minilang-no-SH
Text Generation • 7B • Updated • 25
ANTPG/deepseek-prover-minilang
Text Generation • 7B • Updated • 28
ANTPG/deepseek-prover-isar-SH
Text Generation • 7B • Updated • 28
ANTPG/llemma-isar
Text Generation • 7B • Updated • 15
ANTPG/llemma-isar-SH
Text Generation • 7B • Updated • 22
ANTPG/llemma-minilang
Text Generation • 7B • Updated • 13
ANTPG/llemma-minilang-no-SH
Text Generation • 7B • Updated • 17