Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
2
3
4
lawful-good-project
lawful-good-project
Follow
lotusbro's profile picture
stukenov's profile picture
Hima27's profile picture
4 followers
·
3 following
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
lawful-good-project
's activity
All
Models
Datasets
Spaces
Papers
Collections
Community
Posts
Upvotes
Likes
Articles
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