Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
2
3
4
lawful-good-project
lawful-good-project
Follow
Hima27's profile picture
lotusbro's profile picture
vskornyakov's profile picture
4 followers
·
3 following
https://t.me/+WhRk-Vi8PlpmMTky
lawful-good-project
AI & ML interests
datasets
Recent Activity
upvoted
a
paper
4 days ago
Semantic Search over 9 Million Mathematical Theorems
upvoted
a
paper
5 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
models
1
lawful-good-project/llama-2-7b-ipc
Text Generation
•
7B
•
Updated
Feb 20, 2024
•
1
datasets
10
Sort: Recently updated
lawful-good-project/sud_resh_evaluated_llms_answers
Viewer
•
Updated
Jul 15, 2025
•
105k
•
23
lawful-good-project/sud-resh-benchmark
Viewer
•
Updated
Jul 1, 2025
•
7k
•
54
•
1
lawful-good-project/cyberleninka-law-30k
Viewer
•
Updated
Feb 11, 2025
•
85.2k
•
12
lawful-good-project/ipc-inst-2k
Viewer
•
Updated
Feb 20, 2024
•
2.02k
•
17
lawful-good-project/ipc_decisions_4k_selected
Viewer
•
Updated
Feb 20, 2024
•
4.14k
•
4
lawful-good-project/ipc_decisions_4k_512
Viewer
•
Updated
Feb 20, 2024
•
1.35M
•
3
lawful-good-project/dataset-qa-ip-law
Viewer
•
Updated
Feb 20, 2024
•
40
•
5
•
1
lawful-good-project/ipc_decisions_4k
Viewer
•
Updated
Feb 20, 2024
•
4.13k
•
11
lawful-good-project/ipc_decisions_4k_2048
Viewer
•
Updated
Feb 20, 2024
•
121k
•
28
lawful-good-project/ipc_decisions_4k_1024
Viewer
•
Updated
Feb 20, 2024
•
375k
•
16