ANTPG/llemma-minilang-no-SH
Text Generation
•
7B
•
Updated
•
3
A Neural Theorem Proving Group
community
AI & ML interests
Neural Theorem Proving
Recent Activity
ANTPG/llemma-minilang
Text Generation
•
7B
•
Updated
•
6
ANTPG/llemma-isar-SH
Text Generation
•
7B
•
Updated
•
3
ANTPG/llemma-isar
Text Generation
•
7B
•
Updated
•
6
ANTPG/deepseek-prover-isar-SH
Text Generation
•
7B
•
Updated
•
6
ANTPG/deepseek-prover-minilang
Text Generation
•
7B
•
Updated
•
2
ANTPG/deepseek-prover-minilang-no-SH
Text Generation
•
7B
•
Updated
•
3
ANTPG/deepseek-prover-isar
Text Generation
•
7B
•
Updated
•
3