KenanKoiushov/Ken1.0-67B
73B • Updated
• 6 • 6
lawful-good-project
lawful-good-project
AI & ML interests
datasets
Recent Activity
upvoted a paper 26 days ago
Semantic Search over 9 Million Mathematical Theorems upvoted a paper 28 days ago
Learning to Repair Lean Proofs from Compiler Feedback new activity
3 months ago
KenanKoiushov/Ken1.0-67B:training dataset Organizations
liked a model 3 months ago
liked a dataset 8 months ago
liked a model almost 2 years ago
liked a dataset about 2 years ago