ANTPG/deepseek-prover-isar-SH
Text Generation
•
7B
•
Updated
•
8
Minilang OOPSLA'26 Models
-
-
ANTPG/llemma-isar
Text Generation • 7B • Updated • 8 -
ANTPG/llemma-minilang
Text Generation • 7B • Updated • 8 -
ANTPG/llemma-minilang-no-SH
Text Generation • 7B • Updated • 6 -
ANTPG/deepseek-prover-minilang
Text Generation • 7B • Updated • 5 -
ANTPG/deepseek-prover-isar
Text Generation • 7B • Updated • 5 -
ANTPG/llemma-isar-SH
Text Generation • 7B • Updated • 5 -
ANTPG/deepseek-prover-minilang-no-SH
Text Generation • 7B • Updated • 3