the-hir0/ILM-lean-prover
8B
•
Updated
•
1
Almaz Dautov
the-hir0
AI & ML interests
None yet
Recent Activity
liked
a model
11 days ago
t-tech/T-pro-it-2.0-AWQ
liked
a model
12 days ago
t-tech/T-pro-it-2.0-eagle
updated
a model
12 days ago
t-tech/T-pro-it-2.0-AWQ
Organizations
