A Neural Theorem Proving Group
community
AI & ML interests
Neural Theorem Proving
Organization Card
Edit this README.md markdown file to author your organization card.
models 8
ANTPG/llemma-minilang-no-SH
Text Generation • 7B • Updated • 4
ANTPG/llemma-minilang
Text Generation • 7B • Updated
ANTPG/llemma-isar-SH
Text Generation • 7B • Updated • 3
ANTPG/llemma-isar
Text Generation • 7B • Updated • 1
ANTPG/deepseek-prover-isar-SH
Text Generation • 7B • Updated • 1
ANTPG/deepseek-prover-minilang
Text Generation • 7B • Updated
ANTPG/deepseek-prover-minilang-no-SH
Text Generation • 7B • Updated • 1
ANTPG/deepseek-prover-isar
Text Generation • 7B • Updated • 1