Hugging Face
Models
Datasets
Spaces
Buckets
new
Docs
Enterprise
Pricing
Log In
Sign Up
2
3
4
lawful-good-project
lawful-good-project
Follow
vskornyakov's profile picture
Ricsanches's profile picture
lotusbro's profile picture
5 followers
·
4 following
https://t.me/+WhRk-Vi8PlpmMTky
lawful-good-project
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
lawful-good-project
's models
1
Sort: Recently updated
lawful-good-project/llama-2-7b-ipc
Text Generation
•
7B
•
Updated
Feb 20, 2024
•
1