Hugging Face's logo
lawful-good-project's picture
2 3 4

lawful-good-project

lawful-good-project
saken-tukenov's profile picture lotusbro's profile picture vskornyakov's profile picture
·
https://t.me/+WhRk-Vi8PlpmMTky

AI & ML interests

datasets

Recent Activity

upvoted a paper 8 days ago
Semantic Search over 9 Million Mathematical Theorems
upvoted a paper 9 days ago
Learning to Repair Lean Proofs from Compiler Feedback
new activity about 2 months ago
KenanKoiushov/Ken1.0-67B:training dataset
View all activity

Organizations

None yet