Hugging Face's logo Hugging Face
  • Models
  • Datasets
  • Spaces
  • Docs
  • Enterprise
  • Pricing

  • Log In
  • Sign Up
lawful-good-project's picture
2 3 4

lawful-good-project

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

AI & ML interests

datasets

Recent Activity

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

Organizations

None yet

liked a model 2 months ago

KenanKoiushov/Ken1.0-67B

73B • Updated Dec 2, 2025 • 4 • 5
liked a dataset 7 months ago

Vikhrmodels/physics_big

Viewer • Updated Aug 4, 2024 • 2.33k • 139 • 20
liked a model almost 2 years ago

NousResearch/Genstruct-7B

Text Generation • 7B • Updated Jun 7, 2025 • 108 • 402
liked a dataset about 2 years ago

lotusbro/ipc_decisions_summarized

Viewer • Updated Dec 6, 2023 • 4.13k • 5 • 1
Company
TOS Privacy About Careers
Website
Models Datasets Spaces Pricing Docs