Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
ANTPG
's Collections
Minilang OOPSLA'26 Models
Minilang OOPSLA'26 Models
updated
13 days ago
Upvote
-
ANTPG/deepseek-prover-isar-SH
Text Generation
•
7B
•
Updated
May 17, 2025
•
7
ANTPG/llemma-isar
Text Generation
•
7B
•
Updated
May 17, 2025
•
6
ANTPG/llemma-minilang
Text Generation
•
7B
•
Updated
May 17, 2025
•
7
ANTPG/llemma-minilang-no-SH
Text Generation
•
7B
•
Updated
May 17, 2025
•
4
ANTPG/deepseek-prover-minilang
Text Generation
•
7B
•
Updated
May 17, 2025
•
3
ANTPG/deepseek-prover-isar
Text Generation
•
7B
•
Updated
May 13, 2025
•
4
ANTPG/llemma-isar-SH
Text Generation
•
7B
•
Updated
May 17, 2025
•
4
ANTPG/deepseek-prover-minilang-no-SH
Text Generation
•
7B
•
Updated
May 13, 2025
•
3
Upvote
-
Share collection
View history
Collection guide
Browse collections