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

lawful-good-project

lawful-good-project
Hima27's profile picture viongaard's profile picture stukenov's profile picture
·
https://t.me/+WhRk-Vi8PlpmMTky

AI & ML interests

datasets

Recent Activity

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

Organizations

Hugging Face MCP Course's profile picture