the-hir0/ILM-lean-prover
8B
•
Updated
•
3
Almaz Dautov
the-hir0
AI & ML interests
None yet
Recent Activity
new activity
6 days ago
RANEPA-ai/SLAVA-OpenData-2800-v1:Инструкции не совпадают с type='выбор ответа(мультивыбор)
liked
a model
about 1 month ago
t-tech/T-pro-it-2.0-AWQ
liked
a model
about 1 month ago
t-tech/T-pro-it-2.0-eagle
Organizations
